TY  - BOOK
AU  - Heyting A
TI  - Mathematische grundlagenforschung intuitionismus beweistheorie
T2  - Ergebnisse der mathematik und ihrer grenzgebiete; 4
U1  - B13, 113L4 
PY  - 1934///
CY  - Berlin
PB  - Springer-Verlag         
N1  - Originally published in 1934
ER  -