Back to Results
First PageMeta Content
Formal languages / Logical syntax / Metalogic / Model theory / Interpretation / Metamath / Axiom / Theorem / Principia Mathematica / Logic / Mathematics / Mathematical logic


A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed].
Add to Reading List

Document Date: 2007-04-02 18:01:33

Open Document

File Size: 542,56 KB

Share Result on Facebook

City

Princeton / Vienna / Berlin / Cambridge / /

Company

Aol / No. / /

Country

United Kingdom / /

Currency

USD / /

/

Facility

Stable URL / /

IndustryTerm

abstraction operator / selection operator / successive applications / /

Organization

Federal Aviation Administration / Alonzo Church / JSTOR / Association for Symbolic Logic / /

Person

Leon Chwistek / Bertrand Russell / Pata / Alonzo Church / /

/

ProvinceOrState

New Jersey / /

PublishedMedium

Mathematische Annalen / /

URL

http /

SocialTag