Direct and converse theorems : the elements of symbolic logic / I. S. Gradshtein ; translated from the Russian by T. Boddington. Gradshteĭn, I. S. (Izrailʹ Solomonovich) Boddington, T. Set theory. Axioms. Logic, Symbolic and mathematical. QA248.3 .G713 1963 510 GRD Oxford ; New York : Pergamon Press, 1963. 1963. 1963 Text xviii, 173 p. : eng engrus International series of monographs on pure and applied mathematics ; v. 27 International series of monographs in pure and applied mathematics ; v. 27.