Notes on logic - Lyndon, Roger C. (Van Nostrand, 1966)