Collected works / Kurt Gödel ; editors, Solomon Feferman [and others].

Bibliographic Details
Main Author:	Gödel, Kurt
Other Authors:	Feferman, Solomon
Language:	English German
Published:	Oxford [Oxfordshire] : New York : Clarendon Press ; Oxford University Press, ©1986-
Subjects:	Logic, Symbolic and mathematical.
Physical Description:	volumes : portrait ; 25 cm
Format:	Book

Similar Items

The collected works of Alonzo Church
by: Church, Alonzo, 1903-1995
Published: (2019)

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

A first course in logic : an introduction to model theory, proof theory, computability, and complexity
by: Hedman, Shawn
Published: (2004)

Éléments de logique contemporaine
by: Lepage, François
Published: (2010)

Inconsistent mathematics
by: Mortensen, Chris
Published: (1995)

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

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

Introduction to mathematical logic
by: Hermes, Hans
Published: (1973)

Einführung in die mathematisch Logik.
by: Asser, Günter
Published: (1965)

Untersuchungen über das logische Schliessen
by: Gentzen, Gerhard
Published: (1969)

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

The foundations of mathematics
by: Stewart, Ian, 1945-, et al.
Published: (2015)

The anatomy of mathematics
by: Kershner, R. B. (Richard Brandon), 1913-1982
Published: (1950)

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

Mathematical logic.
by: Ponasse, Daniel
Published: (1973)

Development of mathematical logic.
by: Goodstein, R. L. (Reuben Louis)
Published: (1971)

A course on mathematical logic
by: Srivastava, S. M. (Shashi Mohan)
Published: (2013)

Languages with expressions of infinite length.
by: Karp, Carol, 1926-1972
Published: (1964)

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

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

Language, logic and mathematics
by: Kilmister, C. W. (Clive William)
Published: (1967)

Mathematical logic : applications and theory
by: Rubin, Jean E.
Published: (1990)

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

Mathematical maturity via discrete mathematics
by: Ponomarenko, Vadim
Published: (2019)

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

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

The mathematics of logic : a guide to completeness theorems and their applications
by: Kaye, Richard (Richard W.)
Published: (2007)

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

A course in mathematical logic
by: Bell, J. L. (John Lane)
Published: (1977)

The technique of theory construction
by: Woodger, J. H. (Joseph Henry)
Published: (1939)

Mathematical logic
by: Shoenfield, Joseph R. (Joseph Robert), 1927-
Published: (1967)

Development of mathematical logic
by: Goodstein, R. L. (Reuben Louis)
Published: (1971)

The foundations of mathematics
by: Stewart, Ian, 1945-
Published: (1977)

Mathematical logic and Hilbert's & symbol
by: Leisenring, A. C.
Published: (1969)

Mathematical logic and formalized theories ; a survey of basic concepts and results.
by: Rogers, Robert, 1926-
Published: (1971)

The grammar of mathematics
by: Durst, Lincoln K.
Published: (1969)

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

Laws of form
by: Spencer-Brown, G.
Published: (1972)

Compound statements and mathematical logic
by: Cangelosi, Vincent E.
Published: (1967)

Foundations of mathematical logic.
by: Curry, Haskell B. (Haskell Brooks), 1900-1982
Published: (1963)