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