TY - BOOK AU - Machover Moshe TI - Set theory, logic and their limitations U1 - B31, N6 PY - 1996/// ER -