LEADER 02203nam  2200589   450 
001 996466612803316
005 20220303110905.0
010   $a3-540-35886-2
024 7 $a10.1007/BFb0079093
035   $a(CKB)1000000000438727
035   $a(SSID)ssj0000325889
035   $a(PQKBManifestationID)12069578
035   $a(PQKBTitleCode)TC0000325889
035   $a(PQKBWorkID)10264623
035   $a(PQKB)10088862
035   $a(DE-He213)978-3-540-35886-2
035   $a(MiAaPQ)EBC5591901
035   $a(Au-PeEL)EBL5591901
035   $a(OCoLC)1066185352
035   $a(MiAaPQ)EBC6842812
035   $a(Au-PeEL)EBL6842812
035   $a(OCoLC)793077862
035   $a(PPN)155234307
035   $a(EXLCZ)991000000000438727
100   $a20220303d1968      uy             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 00$aProceedings of the summer school in logic, leeds, 1967 $eNATO advanced study institute : meeting of the association for symbolic logic /$fedited By M. H. Loeb
205   $a1st ed. 1968.
210  1$aBerlin :$cSpringer-Verlag,$d[1968]
210  4$dİ1968
215   $a1 online resource (IV, 331 p.)
225 1 $aLecture notes in mathematics ;$v70
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-540-04240-7 
327   $aLectures on proof theory -- Partitions and models -- Klassen rekursiver funktionen -- Hyperarithmetic ultrafilters -- Recursive equivalence: A survey -- Half-ring morphologies -- Formalisations of some ?0 ?ukasiewicz propositional calculi -- Theories which are not ?o-categorical -- The monadic fragment of predicate calculus with the Chang quantifier and equality -- The ? 1 1 -comprehension schema and ?-rules.
410  0$aLecture notes in mathematics (Springer-Verlag) ;$v70.
606   $aAlgebraic logic
615  0$aAlgebraic logic.
676   $a511.324
686   $a03-06$2msc
702   $aLoeb$b M. H.
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996466612803316
996   $aProceedings of the Summer School in Logic, Leeds, 1967$983182
997   $aUNISA