Cambridge summer school in mathematical logic, held in Cambridge/England, August 1-21, 1971
From MaRDI portal
Publication:2560128
zbMath0261.00006MaRDI QIDQ2560128
No author found.
Publication date: 1973
Published in: Lecture Notes in Mathematics (Search for Journal in Brave)
Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Conference proceedings and collections of articles (00Bxx)
Related Items
Recursively saturated nonstandard models of arithmetic, Some model theory for game logics, A General Framework for Priority Arguments, Computational processes, observers and Turing incompleteness, Combinator realizability of a constructive Morse set theory, On axiomatizing fragments, Constructible models of subsystems of ZF, κ-Suslin logic, From constructivism to computer science, Proof-Theoretic Semantics and Feasibility, On the complexity of models of arithmetic
