Foundations of Mathematics (Kelley, 1955)

GPTKB entity