Back to Results
First PageMeta Content
Computability theory / Effective descriptive set theory / Functions and mappings / Function / Reverse mathematics / Second-order arithmetic / Constructivism / Impredicativity / Peano axioms / Mathematics / Mathematical logic / Logic


Document Date: 2002-11-18 18:14:48

Open Document

File Size: 96,53 KB

Share Result on Facebook

Company

Russell / /

Currency

BRL / pence / /

IndustryTerm

possible formal systems / search operator / predicative systems / scientific applications / ramified second-order systems / justified systems / /

Organization

N→Q / /

Person

Weyl / Solomon Feferman / Penelope Maddy / /

ProvinceOrState

Pennsylvania / /

SocialTag