TY - `BOOK` PY - 1953 T2 - Studies in logic and the foundations of mathematics M1 - 5 CN - L 96-137-5::5 AN - UBHD-1106425 ER -