Browse Shelf

Title: Categorical quantum models and logics /
Author: Heunen, Christian Johan Marie 1982-
Year: 2010
Collections: General.

Title: Principles of mathematical logic
Author: Hilbert, David 1862-1943
Year: 1950
Collections: General.

Title: Introduzione alla logica combinatoria
Author: Hindley, James Roger
Year: 1975
Collections: General.

Title: Building models by games
Author: Hodges, Wilfrid
Year: 1985
Collections: General.

Title: Goedel' s theorems: a workbook on formalization
Author: Huber-Dyson, Verena
Year: 1991
Collections: General.

Title: Formal logic: its scope and limits
Author: Jeffrey, Richard C.
Year: 1981
Collections: General.

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.