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