Gödel, Escher, Bach: an Eternal Golden Braid
What is Property?
Tractatus Logico-Philosophicus