Browse Shelf

Title: Bounded arithmetic, propositional logic, and complexity theory
Author: Krajicek, Jan
Year: 1995
Collections: General.

Title: Lezioni di logica matematica
Author: Lolli, Gabriele
Year: 1978
Collections: General.

Title: Introduzione alla logica formale
Author: Lolli, Gabriele
Year: 1991
Collections: General.

Title: Sotto il segno di Gödel
Author: Lolli, Gabriele
Year: 2007
Collections: General.

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.