LOGIC AN INTRODUCTION - Ruby, Lionel (J.B. Lippincott Company, 1960)