Title: Mathematics and logic
Subtitle: retrospect and prospects
First published: 1968