zbMath62.1064.07MaRDI QIDQ6030479
Arend Heyting
Publication date: 1936 Published in: Mathematica, Section B (Search for Journal in Brave)