Regalbrowser

Titel: Categorical quantum models and logics /
Verfasser: Heunen, Christian Johan Marie 1982-
Jahr: 2010
Literaturabteilungen: General.

Titel: Principles of mathematical logic
Verfasser: Hilbert, David 1862-1943
Jahr: 1950
Literaturabteilungen: General.

Titel: Introduzione alla logica combinatoria
Verfasser: Hindley, James Roger
Jahr: 1975
Literaturabteilungen: General.

Titel: Building models by games
Verfasser: Hodges, Wilfrid
Jahr: 1985
Literaturabteilungen: General.

Titel: Goedel' s theorems: a workbook on formalization
Verfasser: Huber-Dyson, Verena
Jahr: 1991
Literaturabteilungen: General.

Titel: Formal logic: its scope and limits
Verfasser: Jeffrey, Richard C.
Jahr: 1981
Literaturabteilungen: General.

Titel: Bounded arithmetic, propositional logic, and complexity theory
Verfasser: Krajicek, Jan
Jahr: 1995
Literaturabteilungen: General.

Titel: Lezioni di logica matematica
Verfasser: Lolli, Gabriele
Jahr: 1978
Literaturabteilungen: General.

Titel: Introduzione alla logica formale
Verfasser: Lolli, Gabriele
Jahr: 1991
Literaturabteilungen: General.

Titel: Sotto il segno di Gödel
Verfasser: Lolli, Gabriele
Jahr: 2007
Literaturabteilungen: General.