Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Godel
| Other Authors: | Bulloff, Jack J. (Editor), Holyoke, Thomas C. (Editor), Hahn, Samuel Wilfred 1921- (Editor) |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin
Springer-Verlag
1969
|
| Subjects: |
Similar Items
-
Mathematical logic and the foundations of mathematics : an introductory survey /
by: Kneebone, G. T.
Published: (1963) -
Sentences undecidable in formalized arithmetic : an exposition of the theory of Kurt Godel /
by: Mostowski, Andrzej
Published: (1964) -
The foundations of intuitionistic mathematics : especially in relation to recursive functions /
by: Kleene, Stephen Cole, 1909-1994
Published: (1965) -
Foundations of abstract mathematics
by: Kurtz, David C.
Published: (1992) -
Foundations of mathematical logic
by: Curry, Haskell B. 1900- (Haskell Brooks)
Published: (1977)