Title: Logic & Foundations of Mathematics
First published: December 1968