Back to Results
First PageMeta Content
Propositional calculus / Logical truth / Formal languages / Logical syntax / Principia Mathematica / Emil Leon Post / Type theory / Entscheidungsproblem / Tautology / Logic / Mathematics / Mathematical logic


Volume5-11-Urquhart.dvi
Add to Reading List

Document Date: 2009-01-22 01:11:43

Open Document

File Size: 326,57 KB

Share Result on Facebook

City

New York / /

Company

Elsevier BV / /

Continent

America / /

Country

Poland / United States / Columbia / /

Currency

pence / /

Event

Reorganization / /

Facility

Princeton University / Columbia University / York mental hospital / Cornell University / City College / City College of New York / /

IndustryTerm

m-valued logical systems / logistic systems / tag systems / postulate systems / parked car / pedagogical devices / unification algorithm / formal systems / /

NaturalFeature

Principia Mathematica falls / /

Organization

Columbia University / Princeton University / Cornell University / City College / George Washington High School in New York / American Mathematical Society / City College of New York / Townsend Harris High School / /

Person

Phyllis Goodman / Jan Lukasiewicz / Alan Rose / Pearl / Cassius J. Keyser / Jacques Herbrand / A.L. Foster / Paul Bernays / Hermann Weyl / Arnold / John von Neumann / Gertrude Singer / Alan Turing / Dov M. Gabbay / Anna / John Woods / Ethel / Levy / B.P. Gill / Bertrand Russell / D.L. Webb / /

Position

general practitioner / Prime Minister / astronomer / thesis advisor / author / teacher / correspondent / /

ProgrammingLanguage

Mathematica / /

ProvinceOrState

Bialystok / /

PublishedMedium

THE DOCTORAL DISSERTATION Post / /

Region

Eastern Poland / /

Technology

unification algorithm / /

SocialTag