<--- Back to Details
| First Page | Document Content | |
|---|---|---|
 Date: 2014-07-04 03:55:26Metalogic Model theory FO Finite model theory Conjunctive query Free variables and bound variables Quantification First-order logic Constructible universe Logic Predicate logic Mathematical logic |
