From Frege to Godel a source book in mathematical logic, 1879-1931
Κύριος συγγραφέας: | Van Heijenoort, Jean, 1912-1986 |
---|---|
Μορφή: | Βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Cambridge, MA Harvard University Press
1967
|
Θέματα: |
Παρόμοια τεκμήρια
-
Extensional Gödel functional interpretation : a consistency proof of classical analysis /
ανά: Luckhardt, Horst
Έκδοση: (1973) -
Το θεώρημα του Godel
ανά: Nagel, Ernest 1901-1985
Έκδοση: (1997) -
Metamathematics, machines, and Godel's proof /
ανά: Shankar, N.
Έκδοση: (1997) -
Foundations of mathematics Symposium papers commemorating the sixtieth birthday of Kurt Godel
Έκδοση: (1969) -
Mathematical logic applications and theory
ανά: Rubin, Jean E.
Έκδοση: (1990)