\indexentry{Introduzione|hyperpage}{1}
\indexentry{Prefazione|hyperpage}{1}
\indexentry{Induzione|hyperpage}{1}
\indexentry{insieme indotto|hyperpage}{2}
\indexentry{albero binario|hyperpage}{3}
\indexentry{sequenza di costruzione|hyperpage}{4}
\indexentry{insieme libero|hyperpage}{5}
\indexentry{Induzione!strutturale|hyperpage}{5}
\indexentry{funzione induttiva|hyperpage}{6}
\indexentry{Logica proposizionale|hyperpage}{7}
\indexentry{formule atomiche|hyperpage}{7}
\indexentry{valutazione booleana|hyperpage}{8}
\indexentry{operatore duale|hyperpage}{12}
\indexentry{Forme normali|hyperpage}{15}
\indexentry{connettivi primari|hyperpage}{15}
\indexentry{rango|hyperpage}{18}
\indexentry{CNF e DNF|hyperpage}{18}
\indexentry{letterali|hyperpage}{18}
\indexentry{disgiunzioni letterali|hyperpage}{19}
\indexentry{congiunzioni letterali|hyperpage}{19}
\indexentry{Conjunctive Normal Form|hyperpage}{19}
\indexentry{Disjunctive Normal Form|hyperpage}{19}
\indexentry{invariante|hyperpage}{21}
\indexentry{Tableaux|hyperpage}{22}
\indexentry{tableaux|hyperpage}{22}
\indexentry{Risoluzioni|hyperpage}{25}
\indexentry{regole di espansione|hyperpage}{26}
\indexentry{regole risolutive|hyperpage}{26}
\indexentry{Completezza|hyperpage}{28}
\indexentry{Hintikka|hyperpage}{28}
\indexentry{proprieta' di consistenza|hyperpage}{29}
\indexentry{Compattezza|hyperpage}{41}
\indexentry{compattezza|hyperpage}{41}
\indexentry{Risoluzioni ristrette|hyperpage}{42}
\indexentry{Robinson|hyperpage}{46}
\indexentry{Conseguenza proposizionale|hyperpage}{47}
\indexentry{Sistemi di Hilbert|hyperpage}{48}
\indexentry{Modus Ponens|hyperpage}{48}
\indexentry{Sistema di deduzione naturale|hyperpage}{55}
\indexentry{Procedura di Davis Putnam|hyperpage}{61}
\indexentry{Logica del I ordine|hyperpage}{66}
\indexentry{costanti|hyperpage}{66}
\indexentry{termini|hyperpage}{66}
\indexentry{albero sintattico|hyperpage}{66}
\indexentry{variabile legata|hyperpage}{67}
\indexentry{libera|hyperpage}{67}
\indexentry{enunciati|hyperpage}{67}
\indexentry{sostituzione|hyperpage}{68}
\indexentry{sostituzione libera|hyperpage}{70}
\indexentry{coppia di disaccordo|hyperpage}{72}
\indexentry{Unificazione concorrente|hyperpage}{74}
\indexentry{Unificazione multipla|hyperpage}{75}
\indexentry{Semantica|hyperpage}{75}
\indexentry{interpretazione|hyperpage}{75}
\indexentry{Termini chiusi|hyperpage}{77}
\indexentry{modello di Herbrand|hyperpage}{78}
\indexentry{Notazione uniforme|hyperpage}{82}
\indexentry{istanza|hyperpage}{82}
\indexentry{Sistemi di deduzione|hyperpage}{84}
\indexentry{Tableaux I ordine|hyperpage}{89}
\indexentry{Risoluzioni I ordine|hyperpage}{90}
\indexentry{Hilbert del I ordine|hyperpage}{91}
\indexentry{Generalizzazione Universale|hyperpage}{91}
\indexentry{Deduzione naturale I ordine|hyperpage}{94}
\indexentry{Completezza semantica|hyperpage}{94}
\indexentry{Hintikka I ordine|hyperpage}{94}
\indexentry{proprieta' di consistenza I ordine|hyperpage}{96}
\indexentry{compattezza I ordine|hyperpage}{99}
\indexentry{thm di Herbrand|hyperpage}{99}
\indexentry{Skolemizzazione|hyperpage}{100}
\indexentry{premessa|hyperpage}{104}
\indexentry{*|hyperpage}{107}