Direct and converse theorems : the elements of symbolic logic - Gradshtein, I. S. (International series of monographs on pure and applied mathematics ;, 1963)