The Foundations of Mathematics and other Logical Essays

GPTKB entity