Logic colloquium '73. Proceedings of the logic colloquium, Bristol, July 1973

From MaRDI portal

Revision as of 06:40, 31 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:1214886

Jump to:navigation, search

zbMath0299.00011MaRDI QIDQ1214886

No author found.

Publication date: 1975

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

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1214886&oldid=13282595"