Title: Introductory formal logic of mathematics
First published: 1957