Reflexive intermediate first-order logics
From MaRDI portal
Publication:1049753
zbMath1191.03021MaRDI QIDQ1049753
Publication date: 13 January 2010
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Related Items (2)
Semantic completeness of first-order theories in constructive reverse mathematics ⋮ Satisfiability is false intuitionistically: a question from Dana Scott
This page was built for publication: Reflexive intermediate first-order logics
