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