Axiomatic method with special reference to geometry and physics proceedings - Henkin Leon; International Sysposium on Axiomatic method with special reference to geometry and physics( 1957-'58 : California ); International Sysposium on Axiomatic method with special reference to geometry and physics California, 1957-'58 (Amsterdam North-Holland, 1959)
Keywords: Axiomatic theory; Mathematical logic