Back to Results
First PageMeta Content
Metalogic / Predicate logic / Semantics / First-order logic / Quantifier elimination / Quantification / Well-formed formula / Constructible universe / Presburger arithmetic / Logic / Mathematical logic / Model theory


Monadic Counting Does Not Suffice Steven Lindell, Haverford College
Add to Reading List

Document Date: 2012-03-28 11:42:09

Open Document

File Size: 26,63 KB

Share Result on Facebook

Facility

Haverford College / /

Organization

Haverford College / /

SocialTag