Title: Elements of modern logic
First published: 1945