The Paris Logic Group (ed.): Logic colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985
From MaRDI portal
Publication:1087530
zbMath0611.00002MaRDI QIDQ1087530
No author found.
Publication date: 1987
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06)
Related Items (2)
Jean van Heijenoort's contributions to proof theory and its history ⋮ Deflationism beyond arithmetic
This page was built for publication: The Paris Logic Group (ed.): Logic colloquium '85. Proceedings of the Colloquium held in Orsay, France, July 1985
