Embedding intuitionistic-type theory in negationless-type theory
From MaRDI portal
Publication:1820157
DOI10.1007/BF01647635zbMath0614.03057MaRDI QIDQ1820157
Publication date: 1986
Published in: Mathematical Notes (Search for Journal in Brave)
Cites Work