Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel. /

Kurt Gödel : collected works.
by: Gödel, Kurt
Published: (2023)

Kurt Gödel : collected works.
by: Gödel, Kurt
Published: (2023)

There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)

After Gödel : Platonism and rationalism in mathematics and logic /
by: Tieszen, Richard L., 1951-2017
Published: (2011)

Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Published: (1952)

Sentences undecidable in formalized arithmetic.
by: Mostowski, Andrzej
Published: (1952)

Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman : lecture notes in logic 15 /
Published: (2002)

Gödel's disjunction : the scope and limits of mathematical knowledge /
by: Horsten, Leon, et al.
Published: (2016)

The decision method for real algebra: is it practical? /
by: Friedman, Joel, 1962-
Published: (1966)

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

Memoirs of a proof theorist : Gödel and other logicians /
by: Takeuti, Gaisi, 1926-2017
Published: (2003)

The disappearance of time : Kurt Gödel and the idealistic tradition in philosophy /
by: Yourgrau, Palle
Published: (1991)

A Boole anthology : recent and classical studies in the logic of George Boole /
Published: (2000)

Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)

Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
by: Chaitin, Gregory J.
Published: (2007)

Applied logic series.
Published: (1996)

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)

A world without time : the forgotten legacy of Gödel and Einstein /
by: Yourgrau, Palle
Published: (2005)

Reflections on Kurt Gödel /
by: Wang, Hao, 1921-
Published: (1987)

Types, tableaus, and Gödel's God /
by: Fitting, Melvin, 1942-
Published: (2002)

Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)

Mathematics and plausible reasoning,
by: Pólya, George, 1887-1985
Published: (1968)

Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)

Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)

Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)

Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)

Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)

Logic and Structure /
by: Dalen, Dirk
Published: (1994)

Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)

Logic and Structure /
by: Dalen, Dirk
Published: (1980)

Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)

Foundations of Constructive Mathematics : Metamathematical Studies /
by: Beeson, Michael J.
Published: (1985)

An Outline of Set Theory /
by: Henle, James M.
Published: (1986)

Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)

Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)