Browse Shelf

Title: QED: fenomenologia della dimostrazione
Author: Lolli, Gabriele
Year: 2005
Collections: General.

Title: Temi fondamentali della logica moderna
Author: Makinson, David Clement 1941-
Year: 1979
Collections: General.

Title: Teoria matematica della computazione
Author: Manna, Zohar
Year: 1978
Collections: General.

Title: Introduzione alla logica matematica
Author: Mendelson, Elliott
Year: 1972
Collections: General.

Title: La prova di Gödel
Author: Nagel, Ernest 1901-1985
Year: 1974
Collections: General.

Title: Arithmetices principia, principi di geometria e di logica
Author: Odifreddi, Piergiorgio 1950-
Year: 2001-2002
Collections: General.

Title: Introduzione alla teoria dei modelli e alla metamatematica dell' algebra
Author: Robinson, Abraham
Year: 1974
Collections: General.

Title: Simplified independence proofs: Boolean valued models of set theory
Author: Rosser, John Barkley 1907-
Year: 1969
Collections: General.

Title: La mente e l'infinito: scienza e filosofia dell'infinito
Author: Rucker, Rudy 1946-
Year: 2013
Collections: General.

Title: Logica matematica
Author: Shoenfield, Joseph Robert
Year: 1980
Collections: General.