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