Quantificatore esistenziale (simbolo): differenze tra le versioni

template citazione; fix parametro isbn; spostato template lingua all'interno di template cita
(template citazione; fix parametro isbn; spostato template lingua all'interno di template cita)
==Bibliografia==
* {{en}} [[Anne Sjerp Troelstra]], [[H. Schwichtenberg]]: ''Basic Proof Theory'' (2nd ed.). Cambridge University Press, 2000.
* {{en}} {{Cita libro | autore = Hinman, P. | titolo = Fundamentals of Mathematical Logic | editore = A K Peters | anno = 2005 | idisbn =ISBN 1-56856881-81262262-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.
550 442

contributi