Abstract Math:Definitions
wp:Pseudocode
wp:Non-monotonic logic
wp:Informal mathematics
wp:Conceptual metaphor
wp:Where Mathematics Comes From
Gowers, Two definitions of `definition'
wp:Quine (computing)
Madore:quine
wp:Self-replication
wp:Robinson arithmetic
wp:Relevance logic
wp:Extension by definitions
wp:Axiom schema
"Sets for mathematics": sample chapter 1 available
An elementary theory of the category of sets
