PlanetMath:

(more info)

Math for the people, by the people.

donor list - find out how

Main Menu

sections Encyclopædia
Papers
Books
Expositions

meta Requests (236)
Orphanage
Unclass'd (1)
Unproven (540)
Corrections (46)
Classification

talkback Polls
Forums
Feedback
Bug Reports

downloads Snapshots
PM Book

information News
Docs
Wiki
ChangeLog
TODO List
Copyright
About

Revision Browser : topic entry on foundations of mathematics

[ return to viewing 'topic entry on foundations of mathematics' ]

diff	2009-01-17 22:44:58 - revision [ Version 28 --> (current) ] by CWoo

diff	2009-01-17 17:18:36 - revision [ Version 27 --> Version 28 ] by CWoo

diff

2009-01-17 17:13:32 - revision [ Version 26 --> Version 27 ] by bci1

typos
http://planetmath.org/?op=getobj&from=books&id=158

diff	2008-09-03 21:10:08 - revision [ Version 25 --> Version 26 ] by bci1

diff	2008-09-03 21:07:51 - revision [ Version 24 --> Version 25 ] by bci1

diff	2008-09-03 21:06:51 - revision [ Version 23 --> Version 24 ] by bci1

diff	2008-09-03 20:58:31 - revision [ Version 22 --> Version 23 ] by bci1

diff	2008-09-03 20:57:49 - revision [ Version 21 --> Version 22 ] by bci1

diff	2008-09-03 20:57:08 - revision [ Version 20 --> Version 21 ] by bci1

diff

2008-09-03 20:55:58 - revision [ Version 19 --> Version 20 ] by bci1

\item Category of Categories as a Foundation for Mathematics:
\PMlink Name{Functor Categories}{FunctorCategories} and \PMlinkname{2-category}{2Category}

diff	2008-08-08 05:13:40 - revision [ Version 18 --> Version 19 ] by bci1

diff	2008-08-07 20:20:24 - revision [ Version 17 --> Version 18 ] by bci1

diff	2008-07-21 06:32:44 - revision [ Version 16 --> Version 17 ] by bci1

diff	2008-07-21 06:30:53 - revision [ Version 15 --> Version 16 ] by bci1

diff	2008-07-21 06:15:21 - revision [ Version 14 --> Version 15 ] by bci1

diff	2008-07-21 06:14:11 - revision [ Version 13 --> Version 14 ] by bci1

diff	2008-07-21 06:11:58 - revision [ Version 12 --> Version 13 ] by bci1

diff	2008-07-21 05:57:08 - revision [ Version 11 --> Version 12 ] by bci1

diff	2008-07-18 12:25:57 - revision [ Version 10 --> Version 11 ] by bci1

diff	2008-07-17 16:12:22 - revision [ Version 9 --> Version 10 ] by bci1

jump to page: 1 2 >> (28 items)