Quantificatore esistenziale (simbolo): differenze tra le versioni

Nessun cambiamento nella dimensione ,  1 anno fa
m
m (Bot: orfanizzo template:Avvisounicode come da discussione)
 
== Bibliografia ==
* {{en}} [[Anne Sjerp Troelstra]], [[H. Schwichtenberg]]:, ''Basic Proof Theory'' (2nd ed.). Cambridge University Press, 2000.
* {{Cita libro | autore = Hinman, P. | titolo = Fundamentals of Mathematical Logic | editore = A K Peters | anno = 2005 | isbn = 1-56881-262-0 | lingua = en }}
* {{en}} [[George Boolos]], [[Richard Jeffrey]]:, ''Computability and Logic'' (3rd ed.). Cambridge University Press, 1989.
* Diego Filotto:, ''Dalla grammatica alla logica''. Armando Editore, 2005.
* [[Andrea Asperti]], [[Agata Ciabattoni]]:, ''Logica a Informatica'' (2 ed.). McGraw-Hill, 2005.
* [[Achille C. Varzi]], [[John Nolt]], [[Dennis Rohatyn]]:, ''Logica'' (2 ed.). McGraw-Hill, 2007.
* [[Dario Palladino]]:, ''Corso di Logica. Introduzione elementare al calcolo dei predicati'', Carocci, 2002.
* [[Dario Palladino]]:, ''Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità'', Carocci, 2004.
* Vincenzo Manca, ''Logica Matematica'', Bollati Boringhieri, 2000.
* [[Elliott Mendelson]], ''Introduzione alla Logica Matematica'', Bollati Boringhieri, 1972.