TY - `BOOK` PY - 1979 T2 - International logic review M1 - 19-22.1979-80 CN - ZST 3917 B::19-22.1979-80 AN - UBHD-1492649 ER -