DOI10.1007/BF00873576zbMath0192.03101MaRDI QIDQ2538109
Arend Heyting
Publication date: 1966 Published in: Synthese (Search for Journal in Brave)
zbMATH Keywords
general logic
Related Items