02203nam 2200589 450 99646661280331620220303110905.03-540-35886-210.1007/BFb0079093(CKB)1000000000438727(SSID)ssj0000325889(PQKBManifestationID)12069578(PQKBTitleCode)TC0000325889(PQKBWorkID)10264623(PQKB)10088862(DE-He213)978-3-540-35886-2(MiAaPQ)EBC5591901(Au-PeEL)EBL5591901(OCoLC)1066185352(MiAaPQ)EBC6842812(Au-PeEL)EBL6842812(OCoLC)793077862(PPN)155234307(EXLCZ)99100000000043872720220303d1968 uy 0engurnn#008mamaatxtccrProceedings of the summer school in logic, leeds, 1967 NATO advanced study institute : meeting of the association for symbolic logic /edited By M. H. Loeb1st ed. 1968.Berlin :Springer-Verlag,[1968]©19681 online resource (IV, 331 p.)Lecture notes in mathematics ;70Bibliographic Level Mode of Issuance: Monograph3-540-04240-7 Lectures 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.Lecture notes in mathematics (Springer-Verlag) ;70.Algebraic logicAlgebraic logic.511.32403-06mscLoeb M. H.MiAaPQMiAaPQMiAaPQBOOK996466612803316Proceedings of the Summer School in Logic, Leeds, 196783182UNISA