| Record ID | OpenLibraries-Trent-MARCs/tier5.mrc:3905323:915 |
| Source | OpenLibraries-Trent-MARCs |
| Download Link | /show-records/OpenLibraries-Trent-MARCs/tier5.mrc:3905323:915?format=raw |
LEADER: 00915cam 22002770 4500
001 0116301493957
008 711207s1971 ne b 11 eng d
010 $a 79140490
015 $aNe71-33
020 $a0720422582:$cfl40.00
035 $a(Sirsi) AAL-6825
035 $a22738081.C..
040 $aOPET$beng
046 $aLC
050 0 $aQA9$b.K33
082 $a511/.3
090 0 $aQA 9 .K33$bb
100 1 $aKeisler, H. Jerome.
245 10 $aModel theory for infinitary logic;$blogic with countable conjunctions and finite quantifiers.$c[By] H. Jerome Keisler. --
260 $aAmsterdam :$bNorth-Holland Pub. Co.,$c1971.
300 $ax, 208 p. ;$c23 cm. --
490 1 $aStudies in logic and the foundations of mathematics,$vv. 62
504 $aBibliography: p. 193-203.
650 0 $aInfinitary languages.
650 0 $aModel theory.
830 0 $aStudies in logic and the foundations of mathematics,$vv. 62.