Matches in Harvard for { <http://id.lib.harvard.edu/aleph/001065824/catalog> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items per page.
- catalog contributor b1204162.
- catalog contributor b1204163.
- catalog contributor b1204164.
- catalog contributor b1204165.
- catalog contributor b1204166.
- catalog contributor b1204167.
- catalog contributor b1204168.
- catalog contributor b1204169.
- catalog contributor b1204170.
- catalog created "1969.".
- catalog date "1969".
- catalog date "1969.".
- catalog dateCopyrighted "1969.".
- catalog description "Greetings from Dr. J. Robert Openheimer -- Greetings from Dr. Godel -- Tribute to Dr. Godel / John von Neumann -- Bibliography of Kurt Godel -- Realism as a philosophy of mathematics / Stephen F. Barker -- The undecidability of [lambda] k conversion / Haskell B. Curry -- The definability of cardinal numbers / Azriel Levy -- The use of symbolic logic in proving mathematical theorems by means of a digital computer / Bernard Meltzer -- A new approach to the foundations of probability / Herman Rubin -- Measure-Theoretic uniformity / Gerald E. Sacks -- On the cardinality of [sigma] 1/2 sets of reals / Robert M. Solovay -- The universe of set theory / Gaisi Takeuti -- Definition eines (relativ vollstandigen) formalen systems konstruktiver arithmetik / Edward Wette.".
- catalog description "Includes bibliographies.".
- catalog extent "xii, 195 p.".
- catalog hasFormat "Foundations of mathematics.".
- catalog isFormatOf "Foundations of mathematics.".
- catalog issued "1969".
- catalog issued "1969.".
- catalog language "eng".
- catalog publisher "Berlin, Heidelberg, New York, Springer,".
- catalog relation "Foundations of mathematics.".
- catalog subject "Gödel, Kurt.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "Mathematics Philosophy.".
- catalog subject "QA9 .F58".
- catalog tableOfContents "Greetings from Dr. J. Robert Openheimer -- Greetings from Dr. Godel -- Tribute to Dr. Godel / John von Neumann -- Bibliography of Kurt Godel -- Realism as a philosophy of mathematics / Stephen F. Barker -- The undecidability of [lambda] k conversion / Haskell B. Curry -- The definability of cardinal numbers / Azriel Levy -- The use of symbolic logic in proving mathematical theorems by means of a digital computer / Bernard Meltzer -- A new approach to the foundations of probability / Herman Rubin -- Measure-Theoretic uniformity / Gerald E. Sacks -- On the cardinality of [sigma] 1/2 sets of reals / Robert M. Solovay -- The universe of set theory / Gaisi Takeuti -- Definition eines (relativ vollstandigen) formalen systems konstruktiver arithmetik / Edward Wette.".
- catalog title "Foundations of mathematics. Symposium papers commemorating the sixtieth birthday of Kurt Gödel. Edited by Jack J. Bulloff, Thomas C. Holyoke [and] S. W. Hahn.".
- catalog type "Kongress. swd".
- catalog type "text".