Logic - Blyth, John William (Programmed modern arithmetic, 1965)