Libri di Mundici Daniele
Logica: Metodo Breve
di Mundici Daniele
editore: Springer Verlag
pagine: XI, 126 pagg.
In questo manuale viene data una dimostrazione del teorema di completezza di Godel e di alcune sue conseguenze, utilizzando il
