Title: A profile of mathematical logic
First published: 1970