Sur une logique intuitionniste

DOI10.1007/BF02410606zbMath0299.02025MaRDI QIDQ1214915

Gr. C. Moisil

Publication date: 1975

Published in: Annali di Matematica Pura ed Applicata. Serie Quarta (Search for Journal in Brave)

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Untersuchungen über das logische Schliessen. I
• On the rules of suppositions in formal logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Sur une logique intuitionniste