Quantificatore esistenziale (simbolo): differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m +wl |
per Filotto: collegamento a voce cancellata (da valutare l'autorevolezza e l'opportunità della presenza in bibliografia); per Manca, si tratta certo di altra persona |
||
Riga 20:
* {{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.
*
* [[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.
*
* [[Elliott Mendelson]], ''Introduzione alla Logica Matematica'', Bollati Boringhieri, 1972.
==Voci correlate==
* [[Quantificatore]]
| |||