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