TY - BOOK AU - Henkin Leon ED - International Sysposium on Axiomatic method with special reference to geometry and physics( 1957-'58 : California ) ED - International Sysposium on Axiomatic method with special reference to geometry and physics TI - Axiomatic method with special reference to geometry and physics: proceedings U1 - 511.3 PY - 1959/// CY - Amsterdam PB - North-Holland KW - Axiomatic theory KW - Mathematical logic ER -