Back to Results
First PageMeta Content
Model theory / Semantics / Predicate logic / Formal languages / Metalogic / Interpretation / First-order logic / Barcan formula / Function / Logic / Mathematical logic / Mathematics


Document Date: 2013-07-10 12:43:37

Open Document

File Size: 136,70 KB

Share Result on Facebook

City

Bronx / /

/

Facility

Computer Science Lehman College / /

IndustryTerm

monotonic tableau systems / domain machinery / philosophical applications / axiom systems / tableau systems / varying domain machinery / /

Organization

Mathematics and Computer Science Lehman College / Mathematics Graduate Center / /

Person

Lemma / George Gargov / Melvin Fitting / /

Position

MP / /

ProvinceOrState

New York / /

RadioStation

Ways 7 / /

Technology

alpha / /

SocialTag