Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic, held in Prague, August 24-30, 1980

zbMath0489.00006MaRDI QIDQ1166496

No author found.

Publication date: 1982

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

zbMATH Keywords

MeetingLogicColloquiumPrague

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

Computable aspects of the Bachmann–Howard principle

This page was built for publication: Logic colloquium '80. Papers intended for the European Summer Meeting of the Association for Symbolic Logic, held in Prague, August 24-30, 1980