Back to Results
First PageMeta Content
Axioms of set theory / Ordinal numbers / Proof theory / Z notation / Constructive set theory / Axiom schema of replacement / Ordinal analysis / Kripke–Platek set theory / Constructible universe / Mathematical logic / Mathematics / Logic


Document Date: 2012-10-11 12:56:02

Open Document

File Size: 257,92 KB

Share Result on Facebook

Company

Russell / /

Country

Sweden / /

Event

FDA Phase / /

Facility

Mittag-Leffler Institute / /

IndustryTerm

important tools / ad hoc device / important applications / elegant tool / /

Organization

CIRCULARITY / United Kingdom Engineering and Physical Sciences Research Council / Mittag-Leffler Institute / /

Person

Hermann Weyl / /

Position

Bishop / /

Product

DC0 / To remedy / /

ProgrammingLanguage

DC / /

Technology

dom / /

SocialTag