Cover Image

Grundzuge der theoretischen Logik /

Show other versions (2)

Bibliographic Details
Main Author:	Hilbert, David, 1862-1943
Other Authors:	Ackermann, W. (Wilhelm), 1896-
Format:	Book
Language:	German
Published:	Berlin : Springer, 1949.
Edition:	3, verb. Aufl.
Series:	Grundlehren der mathematischen Wissenschaften in Einzeldarstellungen mit besonderer Berücksichtigung der Anwendungsgebiete ; Bd. 27.
Subjects:	Logic, Symbolic and mathematical.

Similar Items

Grundzuge der theoretischen Logik /
by: Hilbert, David, 1862-1943
Published: (1946)

Grundzuge der mathematischen Logik /
by: Scholz, Heinrich, 1884-1956
Published: (1961)

Komplexe Logik : Grundlagen e. log. Theorie d. Wissens /
by: Zinoviev, Aleksandr, 1922-2006
Published: (1970)

Einfuhrung in die mathematisch Logik /
by: Asser, Günter
Published: (1964)

Einfuhrung in die mathematische Logik: Klassische Pradikatenlogik.
by: Hermes, Hans
Published: (1963)

Vollstandige Systeme modaler und intuitionistischer Logik.
by: Schütte, K. (Kurt)
Published: (1968)

Grundlagen der mathematik /
by: Hilbert, David, 1862-1943
Published: (1934)

Grundlagen der Mathematik /
by: Hilbert, David, 1862-1943
Published: (1968)

Archiv für mathematische Logik und Grundlagenforschung.
Published: (1950)

Mathematische Logik mik Informatik-Anwendungen /
by: Bergmann, Eberhard, 1941-
Published: (1977)

Archiv für mathematische Logik und Grundlagenforschung.
Published: (1950)

Principles of mathematical logic /
by: Hilbert, David, 1862-1943
Published: (1999)

Logik-Texte. : Kommentierte auswahl zur Geschichte der modernen Logik /
by: Berka, Karel
Published: (1973)

Einfuhrung in die philosophischen Grundlagen der Mathematik.
by: Frey, Gerhard, 1915-
Published: (1968)

Logic colloquium 2000 (hardcover) : lecture notes in logic, 19 /
Published: (2005)

Logic colloquium '02: lecture notes in logic 27 : lecture notes in logic 27 /
Published: (2006)

Logic colloquium '99 : lecture notes in logic 17 /
Published: (2004)

Formale Logik.
by: Lorenzen, Paul, 1915-1994
Published: (1962)

Grundlagen der Logik und Mathematik /
by: Carnap, Rudolf, 1891-1970
Published: (1973)

Collected works /
by: Gödel, Kurt
Published: (1986)

Many-sorted logic and its applications /
Published: (1993)

Mathematical logic : foundations for information science /
by: Li, Wei, 1943 June-
Published: (2010)

Logic for mathematicians /
by: Hamilton, A. G., 1943-
Published: (1978)

Perspectives on the history of mathematical logic /
Published: (2008)

Mathematical interpretation of formal systems
Published: (1955)

The semantics and proof theory of the logic of bunched implications /
by: Pym, David J.
Published: (2002)

Selected works in logic /
by: Skolem, Th. (Thoralf), 1887-1963
Published: (1970)

Classical and fuzzy concepts in mathematical logic and applications /
by: Reghiș, Mircea
Published: (1998)

Logic for computer scientists /
by: Schöning, Uwe, 1955-
Published: (1989)

An algebraic introduction to mathematical logic /
by: Barnes, Donald W.
Published: (1975)

Combinatory logic /
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1958)

Mechanical logic in three-dimensional space /
by: Auletta, Gennaro
Published: (2013)

Logicism renewed : logical foundations for mathematics and computer science, lecture notes in logic 23 /
by: Gilmore, Paul C. (Paul Carl), 1925-
Published: (2005)

The Notre Dame lectures /
Published: (2005)

Applied logic series.
Published: (1996)

A survey of mathematical logic /
Published: (1963)

Elements of mathematical logic (Model theory)
by: Kreisel, Georg, et al.
Published: (1967)

Realizability : an introduction to its categorical side /
by: Oosten, Jaap van
Published: (2008)

Theory of logical calculi : basic theory of consequence operations /
by: Wójcicki, Ryszard
Published: (1988)

Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2008)