DOI10.1007/BF02297268zbMath0263.02017MaRDI QIDQ2561210
A. S. Troelstra
Publication date: 1969 Published in: Studia Logica (Search for Journal in Brave)
Mathematics Subject Classification ID
Intuitionistic mathematics (03F55)
Related Items
Cites Work