Deductive capabilities of negationless intuitionistic arithmetic

From MaRDI portal

Publication:1218419

Jump to:navigation, search

zbMath0308.02039MaRDI QIDQ1218419

V. F. Mezlumbekova

Publication date: 1975

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Proof theory and constructive mathematics (03F99)

Related Items (2)

Notes on constructive negation ⋮ Pedagogical second-order \(\lambda \)-calculus

This page was built for publication: Deductive capabilities of negationless intuitionistic arithmetic

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