Back to Results
First PageMeta Content
Metalogic / Model theory / FO / Finite model theory / Conjunctive query / Free variables and bound variables / Quantification / First-order logic / Constructible universe / Logic / Predicate logic / Mathematical logic


Document Date: 2014-07-04 03:55:26

Open Document

File Size: 166,19 KB

Share Result on Facebook
UPDATE