nLab
Peter Aczel
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
webpage
category:
people
Created on November 24, 2011 17:23:11 by
Urs Schreiber
(131.174.40.116)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
principle of equivalence
,
presentation axiom
,
predicative mathematics
,
ZFC
,
univalence axiom
,
inductive definition