Back to Results
First PageMeta Content
Urelements / New Foundations / Type theory / Willard Van Orman Quine / Lambda calculus / Zermelo–Fraenkel set theory / Functor / Cartesian closed category / Category theory / Mathematical logic / Mathematics / Logic


Document Date: 2009-08-02 17:58:25

Open Document

File Size: 154,00 KB

Share Result on Facebook

Company

Russell / Grothendieck / Mac Lane / /

/

IndustryTerm

formal systems / normal applications / ad hoc solution / /

Organization

Stanford University Department of Mathematics / Stanford / /

Person

Nat / Solomon Feferman / /

ProvinceOrState

Newfoundland / Pennsylvania / /

Technology

http / pdf / /

SocialTag