TY - BOOK AU - Grandshtein I S TI - Direct and converse theorems : the elements of symbolic logic tr by T Doddington T2 - International series of monographs on pure and applied mathematics ed by I N Sneddon U1 - R14, K33 PY - 1963/// KW - PHILOSOPHY ER -