TY - BOOK AU - Bar-Hillel, Yehosua TI - Mathematical logic and foundations of set theory N1 - B31 L0 ER -