Back to Results
First PageMeta Content
Mathematical logic / Semantics / Finite model theory / Predicate logic / Philosophical logic / Generalized quantifier / FO / Model theory / Constructible universe / Quantification / Logic / Theoretical computer science


Verification Procedures for Modified Numeral Quantifiers
Add to Reading List

Document Date: 2013-07-01 13:00:40

Open Document

File Size: 586,29 KB

Share Result on Facebook
UPDATE