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