Foundations of Mathematics (book by Morse)

GPTKB entity