Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /

Proceedings of the Summer School in Logic, Leeds, 1967 : N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic /

Saved in:
Bibliographic Details
Meeting name:Summer School in Logic (1967 : Leeds, England)
Imprint:Berlin ; New York : Springer-Verlag, 1968.
Description:1 online resource (331 pages).
Language:English
Series:Lecture notes in mathematics, 0075-8434 ; 70
Lecture notes in mathematics (Springer-Verlag) ; 70.
Subject:
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical.
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/11070687
Hidden Bibliographic Details
Other authors / contributors:Löb, M. H.
Association for Symbolic Logic.
NATO Advanced Study Institute.
ISBN:9783540042402
3540042407
9783540358862
3540358862
9783540042402
Notes:Includes bibliographical references.
Restrictions unspecified
Electronic reproduction. [S.l.] : HathiTrust Digital Library, 2011.
Master and use copy. Digital master created according to Benchmark for Faithful Digital Reproductions of Monographs and Serials, Version 1. Digital Library Federation, December 2002. http://purl.oclc.org/DLF/benchrepro0212
digitized 2011 HathiTrust Digital Library committed to preserve
Print version record.
Other form:Print version: Summer School in Logic (1967 : Leeds, England). Proceedings of the Summer School in Logic, Leeds, 1967. Berlin, New York [etc.] Springer-Verlag, 1968
Table of Contents:
  • 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.

Similar Items