Links:Theory (mathematics)

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