Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973
From MaRDI portal
Publication:1214886
zbMath0299.00011MaRDI QIDQ1214886
No author found.
Publication date: 1975
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 (5)
On Cantorian spacetime over number systems with division by zero ⋮ Extending the Curry-Howard interpretation to linear, relevant and other resource logics ⋮ Graded modal dependent type theory ⋮ The existence and construction of free iterative theories ⋮ Fully abstract models of typed \(\lambda\)-calculi
This page was built for publication: Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973
