Elements of modern logic - Mellone S H (1945)