Logic an introduction - Ruby, Lionel (Lippincott, 1950)