Browse Scaff.

Titolo: QED: fenomenologia della dimostrazione
Autore: Lolli, Gabriele
Anno: 2005
Sezioni: General.

Titolo: Temi fondamentali della logica moderna
Autore: Makinson, David Clement 1941-
Anno: 1979
Sezioni: General.

Titolo: Teoria matematica della computazione
Autore: Manna, Zohar
Anno: 1978
Sezioni: General.

Titolo: Introduzione alla logica matematica
Autore: Mendelson, Elliott
Anno: 1972
Sezioni: General.

Titolo: La prova di Gödel
Autore: Nagel, Ernest 1901-1985
Anno: 1974
Sezioni: General.

Titolo: Arithmetices principia, principi di geometria e di logica
Autore: Odifreddi, Piergiorgio 1950-
Anno: 2001-2002
Sezioni: General.

Titolo: Introduzione alla teoria dei modelli e alla metamatematica dell' algebra
Autore: Robinson, Abraham
Anno: 1974
Sezioni: General.

Titolo: Simplified independence proofs: Boolean valued models of set theory
Autore: Rosser, John Barkley 1907-
Anno: 1969
Sezioni: General.

Titolo: La mente e l'infinito: scienza e filosofia dell'infinito
Autore: Rucker, Rudy 1946-
Anno: 2013
Sezioni: General.

Titolo: Logica matematica
Autore: Shoenfield, Joseph Robert
Anno: 1980
Sezioni: General.