From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931

GPTKB entity