Back to Results
First PageMeta Content
Logic / Metalogic / Model theory / Constructible universe / Theory of computation / Forcing / Μ operator / Primitive recursive function / Mathematical logic / Mathematics / Computability theory


Document Date: 1999-11-30 09:55:10

Open Document

File Size: 213,28 KB

Share Result on Facebook

Country

United States / /

Facility

USA University of California / /

OperatingSystem

Xp / /

Organization

National Science Foundation / Cornell University / University of California / Berkeley / USA University / /

ProvinceOrState

California / New York / /

SocialTag