Back to Results
First PageMeta Content
Model theory / Formal languages / Metalogic / First-order logic / Interpretation / Dependence logic / Entailment / Well-formed formula / Substitution / Logic / Propositional calculus / Mathematical logic


Document Date: 2011-12-13 04:40:36

Open Document

File Size: 141,86 KB

Share Result on Facebook

City

Université Paris Diderot / New York / /

Company

ACM Inc. / /

Country

France / Finland / United States / /

Currency

USD / /

/

Event

Product Issues / Product Recall / /

Facility

University of Helsinki / Penn Plaza / /

/

Organization

University of Helsinki / University of Helsinki We / Department of Mathematics and Statistics / Academy of Finland / /

/

Position

Author / model / and Y ⊆ X teams / Computational Logic General / second author / /

Product

basic results / /

ProvinceOrState

New York / /

Technology

RAM / dom / Random Access / /

URL

http /

SocialTag