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

From MaRDI portal

Revision as of 06:27, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:2560128

Jump to:navigation, search

zbMath0261.00006MaRDI QIDQ2560128

No author found.

Publication date: 1973

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

Mathematics Subject Classification ID

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

Related Items (11)

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2560128&oldid=15312979"