Proceedings of the 3rd Scandinavian logic symposium

zbMath0299.00012MaRDI QIDQ1214887

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

MacNeille completions and canonical extensions ⋮ Erdős Graphs Resolve Fine's Canonicity Problem ⋮ On the construction of stable models of untyped \(\lambda\)-calculus ⋮ Modal operators and functional completeness, II

This page was built for publication: Proceedings of the 3rd Scandinavian logic symposium