Logic colloquium '78. Proceedings of the colloquium held in Mons, August 1978.
From MaRDI portal
Publication:1134127
zbMath0423.00001MaRDI QIDQ1134127
No author found.
Publication date: 1979
Published in: Studies in Logic and the Foundations of 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
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
