DOI10.1007/BF01156470zbMath0576.03037MaRDI QIDQ1064322
Victor N. Krivtsov
Publication date: 1984 Published in: Mathematical Notes (Search for Journal in Brave)
zbMATH Keywords
natural deductioninterpretation
Mathematics Subject Classification ID
First-order arithmetic and fragments (03F30) Structure of proofs (03F07) Intuitionistic mathematics (03F55)
Related Items
Cites Work