Studies in logical theory
Cornman, James Welton.
Oxford Blackwell
1968
Logic