Bibliografia
Principal
- Deciding First-order Theories: C. Sernadas and J. Rasga In preparation DMIST
Secundária
- A Decision Method for Elementary Algebra and Geometry: A. Tarski 1951 U California Press
- Model Theory: An Introduction: D. Marker 2002 Springer
- Algorithms in Real Algebraic Geometry: S. Basu, R. Pollack and M.-F. Roy 2003 Springer
- Foundations of Logic and Computation: A. Sernadas and C. Sernadas 2008 College Publications