| Record ID | OpenLibraries-Trent-MARCs/tier1.mrc:13389326:839 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier1.mrc:13389326:839?format=raw |
LEADER: 00839cam 2200277 a 4500
001 0116301982934
008 890317s1969 ne a b 11 eng d
010 $a 71097201
020 $a072042254X:$c72.00
035 $a(Sirsi) AAP-9206
035 $a22780513.C..
040 $aOPET$beng
041 1 $aengger
046 $aLC
050 0 $aQA9$b.G329
082 $a164
090 0 $aBC 135 .G4$bb
100 1 $aGentzen, Gerhard.
245 14 $aThe collected papers of Gerhard Gentzen /$cedited by M.E. Szabo.
260 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1969.
300 $axii, 338 p., 2 p. of photos. ;$c23 cm.
440 0 $aStudies in logic and the foundations of mathematics.
504 $aIncludes bibliographical references.
650 0 $aLogic, Symbolic and mathematical.
650 0 $aMetamathematics.
700 11 $aSzabo, M. E.