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