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