The collected papers of Gerhard Gentzen.

The collected papers of Gerhard Gentzen. Edited by M. E. Szabo.

Saved in:

Bibliographic Details
Main Author:	Gentzen, Gerhard
Other Authors:	Szabo, M. E.
Format:	Book
Language:	English
Published:	Amsterdam, North-Holland Pub. Co., 1969 [1970]
Series:	Studies in logic and the foundations of mathematics.
Subjects:	Logic, Symbolic and mathematical > Collected works. Metamathematics > Collected works.

Similar Items

How to bake π : an edible exploration of the mathematics of mathematics
by: Cheng, Eugenia
Published: (2015)

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

Foundational studies : selected works
by: Mostowski, Andrzej
Published: (1978)

Introduction to metamathematics.
by: Kleene, Stephen Cole, 1909-1994
Published: (1952)

Unvollständigkeit und Unentscheidbarkeit.
by: Stegmüller, Wolfgang
Published: (1970)

Natural deduction, the logical basis of axiom systems
by: Anderson, John Mueller
Published: (1962)

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

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

How to prove it : a structured approach
by: Velleman, Daniel J.
Published: (1994)

Entailment : the logic of relevance and necessity
by: Anderson, Alan Ross
Published: (1975)

Introduction to mathematical logic.
by: Mendelson, Elliott
Published: (1964)

Logic : mathematics, language, computer science, and philosophy
by: Swart, H. C. M. de
Published: (1993)

An introduction to mathematical logic
by: Hodel, Richard E.
Published: (1995)

A new approach to logic
by: Katz, Robert, 1922-
Published: (1977)

An introduction to mathematical logic
by: Robison, Gerson B., 1909-
Published: (1969)

Elements of mathematical logic. (Model theory)
by: Kreisel, Georg
Published: (1971)

Logic and structure
by: Dahlen, Dirk van, 1932-
Published: (1980)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-, et al.
Published: (2021)

Introduction to mathematical structures and proofs
by: Gerstein, Larry J.
Published: (1996)

Mathematical intuitionism : introduction to proof theory
by: Dragalin, Alʹbert Grigorʹevich
Published: (1988)

Foundations without foundationalism : a case for second-order logic
by: Shapiro, Stewart, 1951-
Published: (1991)

Mathematical logic: a first course
by: Robbin, Joel W.
Published: (1969)

A course in mathematical logic for mathematicians
by: Manin, I︠U︡. I.
Published: (2010)

Mathematical logic
by: Monk, J. Donald (James Donald), 1930-
Published: (1976)

First-order logic
by: Smullyan, Raymond M.
Published: (1968)

Introduction to symbolic logic,
by: Basson, A. H.
Published: (1960)

How to read and do proofs : an introduction to mathematical thought process
by: Solow, Daniel
Published: (1982)

A course in mathematical logic
by: Manin, I︠U︡. I.
Published: (1977)

Popular lectures on mathematical logic
by: Wang, Hao, 1921-
Published: (1980)

Mathematical logic
by: Ebbinghaus, Heinz-Dieter, 1939-
Published: (1984)

Aspects of mathematical logic. III ciclo. Varenna, 9-17 settembre 1968. Coordinatore: prof. E. Casari.
Published: (1969)

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

Logic as algebra
by: Halmos, Paul R. (Paul Richard), 1916-2006
Published: (1998)

Handbook of mathematical logic
Published: (1976)

Euclid in the rainforest : discovering universal truth in logic and math
by: Mazur, Joseph
Published: (2005)

The logic of sequences : a generalization of Principia mathematica
by: Quine, W. V. (Willard Van Orman)
Published: (1990)

Mathematics and plausible reasoning.
by: Polya, George, 1887-
Published: (1954)

The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory,
by: Gödel, Kurt
Published: (1940)

Logic Symposia, Hakone, 1979, 1980 : proceedings of a conference held in Gōra Hakone, Japan, March 21-24, 1979 and February 4-7, 1980
Published: (1981)

Logic colloquium '73 : proceedings
Published: (1975)