On formally undecidable propositions of Principia Mathematica ...
Kurt Gödel & Martin Hirzel
Tales of Old Earth
Michael Swanwick
How We Think
John Dewey
On Misinterpreting Kripke's Wittgenstein
Alex Byrne
Introduction to Symbolic Logic and Its Applications
Rudolf Carnap