TY - BOOK AU - Gradshtein, I S TI - Direct and Converse Theorems: The Elements of Symbolic Logic U1 - 517 PY - 1963/// CY - London PB - Pergamon Press KW - Mathematics ER -