Direct and converse theorems : the elements of symbolic logic /
translated from the Russians by T. Boodington.
- Oxford : Pergamon P., 1963.
- 143 p. : ill.
- (International series of monographsof pure and applied mathematics ; v. 27) .
Aggregates. Axioms. Logic, Symbolic and mathematical.