Back to Results
First PageMeta Content
Model theory / Semantics / Predicate logic / Philosophical logic / Independence-friendly logic / Dependence logic / First-order logic / Branching quantifier / FO / Logic / Mathematical logic / Quantification


Document Date: 2012-04-04 16:59:34

Open Document

File Size: 266,93 KB

Share Result on Facebook

IndustryTerm

basic tools / logical systems / /

Organization

Swedish Research Council / /

Person

FREDRIK ENGSTROM / /

Position

author / /

Technology

dom / /

SocialTag