Foundations of mathematics : Symposium papers commemorating the sixtieth birthday of Kurt Gödel. /
| Corporate Authors: | SpringerLink (Online service), Ohio Academy of Science. Section L (Mathematical Sciences) |
|---|---|
| Other Authors: | Gödel, Kurt, Bulloff, Jack J. (Editor), Holyoke, Thomas C. (Editor), Hahn, S. W. (Samuel Wilfred), 1921- (Editor) |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg, New York :
Springer,
1969.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Similar Items
Foundations of mathematics. : Symposium papers commemorating the sixtieth birthday of Kurt Godel /
Published: (1969)
Published: (1969)
An introduction to Gödel's Theorems /
by: Smith, Peter, 1944-
Published: (2007)
by: Smith, Peter, 1944-
Published: (2007)
Kurt Gödel : Wahrheit & Beweisbarkeit /
Published: (2002)
Published: (2002)
Kurt Godel and the foundations of mathematics : horizons of truth /
Published: (2011)
Published: (2011)
Kurt Gödel : collected works.
by: Gödel, Kurt
Published: (2023)
by: Gödel, Kurt
Published: (2023)
Kurt Gödel : collected works.
by: Gödel, Kurt
Published: (2023)
by: Gödel, Kurt
Published: (2023)
There's something about Gödel : the complete guide to the incompleteness theorem /
by: Berto, Francesco
Published: (2009)
by: Berto, Francesco
Published: (2009)
After Gödel : Platonism and rationalism in mathematics and logic /
by: Tieszen, Richard L., 1951-2017
Published: (2011)
by: Tieszen, Richard L., 1951-2017
Published: (2011)
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Gödel /
Published: (1952)
Published: (1952)
Sentences undecidable in formalized arithmetic.
by: Mostowski, Andrzej
Published: (1952)
by: Mostowski, Andrzej
Published: (1952)
Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman : lecture notes in logic 15 /
Published: (2002)
Published: (2002)
Gödel's disjunction : the scope and limits of mathematical knowledge /
by: Horsten, Leon, et al.
Published: (2016)
by: Horsten, Leon, et al.
Published: (2016)
The decision method for real algebra: is it practical? /
by: Friedman, Joel, 1962-
Published: (1966)
by: Friedman, Joel, 1962-
Published: (1966)
An algebraic introduction to mathematical logic /
by: Barnes, D. W. (Donald W.), 1935-, et al.
Published: (1975)
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)
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)
by: Yourgrau, Palle
Published: (1991)
A Boole anthology : recent and classical studies in the logic of George Boole /
Published: (2000)
Published: (2000)
Logic Colloquium : symposium on logic held at Boston, 1972-73 /
Published: (1975)
Published: (1975)
Thinking about Gödel and Turing : essays on complexity, 1970-2007 /
by: Chaitin, Gregory J.
Published: (2007)
by: Chaitin, Gregory J.
Published: (2007)
Applied logic series.
Published: (1996)
Published: (1996)
Theory of logical calculi : basic theory of consequence operations /
by: Wójcicki, Ryszard
Published: (1988)
by: Wójcicki, Ryszard
Published: (1988)
Logic and structure /
by: Dalen, D. van (Dirk), 1932-
Published: (2008)
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)
by: Yourgrau, Palle
Published: (2005)
Reflections on Kurt Gödel /
by: Wang, Hao, 1921-
Published: (1987)
by: Wang, Hao, 1921-
Published: (1987)
Types, tableaus, and Gödel's God /
by: Fitting, Melvin, 1942-
Published: (2002)
by: Fitting, Melvin, 1942-
Published: (2002)
Cambridge Summer School in Mathematical Logic : held in Cambridge, England, August 1-21, 1971 /
Published: (1973)
Published: (1973)
Mathematics and plausible reasoning,
by: Pólya, George, 1887-1985
Published: (1968)
by: Pólya, George, 1887-1985
Published: (1968)
Zermelo's Axiom of Choice : Its Origins, Development, and Influence /
by: Moore, Gregory H.
Published: (1982)
by: Moore, Gregory H.
Published: (1982)
Perspectives of Elementary Mathematics /
by: Hochschild, Gerhard P.
Published: (1983)
by: Hochschild, Gerhard P.
Published: (1983)
Mathematical Aspects of Scientific Software /
by: Rice, J. R.
Published: (1988)
by: Rice, J. R.
Published: (1988)
Set Theory of the Continuum /
by: Judah, H. (Haim)
Published: (1992)
by: Judah, H. (Haim)
Published: (1992)
Introduction to Mathematical Logic : Set Theory Computable Functions Model Theory /
by: Malitz, Jerome, 1936-
Published: (1979)
by: Malitz, Jerome, 1936-
Published: (1979)
Logic and Structure /
by: Dalen, Dirk
Published: (1994)
by: Dalen, Dirk
Published: (1994)
Self-Reference and Modal Logic /
by: Smoryński, C.
Published: (1985)
by: Smoryński, C.
Published: (1985)
Logic and Structure /
by: Dalen, Dirk
Published: (1980)
by: Dalen, Dirk
Published: (1980)
Introduction to Axiomatic Set Theory /
by: Takeuti, Gaisi
Published: (1982)
by: Takeuti, Gaisi
Published: (1982)
Foundations of Constructive Mathematics : Metamathematical Studies /
by: Beeson, Michael J.
Published: (1985)
by: Beeson, Michael J.
Published: (1985)
An Outline of Set Theory /
by: Henle, James M.
Published: (1986)
by: Henle, James M.
Published: (1986)
Advances in Fuzzy Sets, Possibility Theory, and Applications /
by: Wang, Paul P.
Published: (1983)
by: Wang, Paul P.
Published: (1983)
Ideals, Varieties, and Algorithms : an Introduction to Computational Algebraic Geometry and Commutative Algebra /
by: Cox, David
Published: (1997)
by: Cox, David
Published: (1997)