Set theory and logic
San Francisco (Calif.) 1963. 474 S.
The principles of understanding
Cambridge (England) 1915. 302 S.
Logic and nature
New York 1930. 384 S.
Proof theory
Amsterdam 1987. 490 S.
Outlines of modern legal logic
Wiesbaden 1969. 167 S.
Elementary applied symbolic logic
Lanham (Md.) 1985. 516 S.
Logic, semantics, metamathematics
Oxford 1956. 471 S.
Undecidable theories
Amsterdam 1971. 98 S.
The uses of argument
Cambridge (England) 1958. 264 S.
Lessons in logic
Washington D.C. 1935. 302 S.