On an Application of Intermediate Logics

DOI10.1017/S0027763000007601MaRDI QIDQ5518355zbMATH OpenFDO

Authors Toshio Umezawa

Publication date 1960

Published in Nagoya Mathematical Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0027763000007601

zbMATH Keywords

mathematical logic

Cites work

• Intuitionism. An introduction
• Intuitionistische Untersuchungen der formalistischen Logik

This page was built for publication: On an Application of Intermediate Logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5518355)