nLab
Andreas Blass
Skip the Navigation Links
|
Home Page
|
All Pages
|
Recently Revised
|
Authors
|
Feeds
|
Export
|
Homepage
category:
people
Created on September 25, 2012 10:12:59 by
Tim Porter
(95.147.237.67)
Edit
| Views:
Print
|
TeX
|
Source
| Linked from:
linear logic
,
small violations of choice
,
forcing