Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971

MaRDI QIDQ2560128zbMATH OpenFDO

Authors

Publication date 1973

Published in Lecture Notes in Mathematics (Search for Journal in Brave)

Mathematics Subject Classification ID

Conference proceedings and collections of articles (00Bxx) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)

Cited in

(11)

• From constructivism to computer science
• Some model theory for game logics
• On the complexity of models of arithmetic
• Constructible models of subsystems of ZF
• Recursively saturated nonstandard models of arithmetic
• Combinator realizability of a constructive Morse set theory
• On axiomatizing fragments
• κ-Suslin logic
• A General Framework for Priority Arguments
• Proof-theoretic semantics and feasibility
• Computational processes, observers and Turing incompleteness

This page was built for publication: Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2560128)