Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988
From MaRDI portal
Publication:1801274
zbMath0673.00007MaRDI QIDQ1801274
No author found.
Publication date: 5 June 1993
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 (3)
Nonflatness and totality ⋮ Martin Davis’s Bibliography 1950–2015 ⋮ Interaction nets for linear logic
This page was built for publication: Logic colloquium '88. Proceedings of the colloquium held in Padova, Italy, August 22-31, 1988