TY  - BOOK
AU  - Henkin Leon Ed.
AU  -  Suppes P Ed.
AU  -  Tarski Alfred Ed.
ED  - International conference on axiomatic method (1957 : Berkeley)
TI  - Proceeding on axiomatic method
U1  - B:R1p1:N58, J9 
PY  - 1959///
KW  - Philosophy of maths
ER  -