TY - `BOOK` PY - 1974 T2 - International logic review M1 - 9.1974 CN - ZST 3917 B::9.1974 AN - UBHD-1445347 ER -