TY  - BOOK
AU  - Beth, Evert W
AU  - Beth, E W  [series editor]
AU  - Heyting, A  [series editor]
TI  - The foundations of mathematics
U1  - 511.1 
PY  - 1959///
CY  - Amsterdam
PB  - North Holland Publishing Company
KW  - Elementary axiomatics
KW  - Mathematics - history
KW  - Mathematics - science -philosophy
ER  -