MARC Record
Leader
001
cgw01:000829272
003
BE-GnUNI
005
20250805203425.0
008
710106r19701879maua b 001 0 eng
010
a| 71116736
020
a| 0674318447
035
9| (DLC) 71116736
040
a| DLC
c| DLC
d| DLC
041
1
a| eng
a| ger
050
0
0
a| QA9
b| .V28
082
0
0
a| 164
084
a| 03
2| msc
245
0
0
a| Frege and Gödel :
b| two fundamental texts in mathematical logic /
c| ed. by Jean van Heijenoort.
260
a| Cambridge (Mass.) :
b| Harvard university press,
c| 1970.
300
a| 116 p. :
b| illus. ;
c| 26 cm. +
e| errata
500
a| "These texts, in English translation, originally appeared in From Frege to Gödel: a source book in mathematical logic, 1879-1931."
505
0
a| Begriffsschrift, a formula language, modeled upon that of arithmetic, for pure thought (1879), by G. Frege.--Some metamathematical results on completeness and consistency; On formally undecidable propositions of Principia mathematica and related systems I; and On completeness and consistency (1930b, 1931, and 1931a), by K. Gödel.--Bibliography (p. [111]-116)
650
7
a| Logic, Symbolic and mathematical.
2| lcsh
650
7
a| Mathematics
x| Philosophy.
2| lcsh
690
a| Frege, Gottlob.
690
a| Gödel, Kurt.
690
a| Wiskundige logica.
700
1
a| Gödel, Kurt
q| (Kurt Friedrich),
d| 1906-1978
0| (viaf)97851774
700
1
a| Van Heijenoort, Jean
q| (Jean Louis Maxime),
d| 1912-1986
0| (viaf)92795306
4| edt
700
1
2
a| Frege, Gottlob
q| (Friedrich Ludwig Gottlob),
d| 1848-1925
0| (viaf)51689723
852
m| BOOK
b| GUISL
c| GUISL
j| GUISL.VDB 510.77
p| 829272-10
f| 04
F| NO LOAN/open shelves
920
a| boek