Links:Theory (mathematics)

From Knowino
Revision as of 21:00, 28 March 2011 by Boris Tsirelson (talk | contributions)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

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

Personal tools
Variants
Actions
Navigation
Community
Toolbox