| Record ID | OpenLibraries-Trent-MARCs/tier5.mrc:3904455:868 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier5.mrc:3904455:868?format=raw |
LEADER: 00868cam 22002890 4500
001 0116301493841
008 700501s1969 ne b 1 eng d
010 $a 79102718
015 $aNe69-50
020 $a0720422566:$c35.00
035 $a(Sirsi) AAL-6815
035 $a22738071.C..
040 $aOPET$beng
046 $aLC
050 0 $aQA9$b.F56
082 $a512/.817
090 0 $aQA 9 .F56$bb
100 1 $aFitting, Melvin,$d1942-
245 10 $aIntuitionistic logic, model theory and forcing. --
260 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1969.
300 $a191 p. ;$c23 cm. --
490 1 $aStudies in logic and the foundation of mathematics
504 $aBibliography: p. [188]-189.
650 0 $aAxiomatic set theory.
650 0 $aForcing (Model theory)
650 0 $aModel theory.
830 0 $aStudies in logic and the foundation of mathematics.