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