Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.

From MaRDI portal

Revision as of 03:31, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:1134127

Jump to:navigation, search

zbMath0423.00001MaRDI QIDQ1134127

No author found.

Publication date: 1979

Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)

zbMATH Keywords

Proceedings Logic logic Colloquium Mons/Belgium

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 (7)

On the proof-theoretic strength of monotone induction in explicit mathematics ⋮ Iteration Trees ⋮ The axiom of choice and combinatory logic ⋮ Inner Model Operators and the Continuum Hypothesis ⋮ Feferman on Computability ⋮ Feferman and the Truth ⋮ Forcing closed unbounded sets

This page was built for publication: Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.

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