Logica/Matematica Prove, implicazioni e modelli Stabilire con la logica Numeri standard e non standard I teoremi di completezza e incompletezza di Gödel Logica di secondo ordine: la controversia Condividi:Fai clic per inviare un link a un amico via e-mail (Si apre in una nuova finestra)Fai clic qui per stampare (Si apre in una nuova finestra)Fai clic per condividere su Facebook (Si apre in una nuova finestra)Fai clic qui per condividere su Twitter (Si apre in una nuova finestra)