Quantificatore esistenziale (simbolo): differenze tra le versioni

Quantificatore esistenziale (simbolo) (modifica)

7 byte aggiunti , 7 anni fa

template citazione; fix parametro isbn; spostato template lingua all'interno di template cita

550 442

contributi

Versione delle 08:28, 2 mag 2014 (modifica) FrescoBot (discussione \| contributi) m (Bot: niente corsivi e piped wikilink nelle voci correlate e modifiche minori) ← Differenza precedente		Versione delle 21:02, 19 ago 2014 (modifica) (annulla) Atarubot (discussione \| contributi) (template citazione; fix parametro isbn; spostato template lingua all'interno di template cita) Differenza successiva →
==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-~~568~~56881-~~81262~~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.