\begin{thebibliography}{10}

\bibitem{Aristotle-LI}
Aristotle.
\newblock {\em Categories, On Interpretation, and Prior Analytics}, volume 325
  of {\em Loeb Classical Library}.
\newblock Harvard University Press and William Heinemann Ltd, Cambridge,
  Massachusetts and London, 1973.
\newblock Translated by H. P. Cooke and H. Tredennick.

\bibitem{MR0409165}
C.~C. Chang and H.~J. Keisler.
\newblock {\em Model theory}.
\newblock North-Holland Publishing Co., Amsterdam, 1973.
\newblock Studies in Logic and the Foundations of Mathematics, Vol. 73.

\bibitem{MR18:631a}
Alonzo Church.
\newblock {\em Introduction to mathematical logic. {V}ol. {I}}.
\newblock Princeton University Press, Princeton, N. J., 1956.

\bibitem{Descartes-Geometry}
Ren{\'e} Descartes.
\newblock {\em The Geometry of Ren{\'e} Descartes}.
\newblock Dover Publications, Inc., New York, 1954.
\newblock Translated from the French and Latin by David Eugene Smith and Marcia
  L. Latham, with a facsimile of the first edition.

\bibitem{MR0033781}
Leon Henkin.
\newblock The completeness of the first-order functional calculus.
\newblock {\em J. Symbolic Logic}, 14:159--166, 1949.

\bibitem{MR1396852}
Leon Henkin.
\newblock The discovery of my completeness proofs.
\newblock {\em Bull. Symbolic Logic}, 2(2):127--158, 1996.

\bibitem{MR94e:03002}
Wilfrid Hodges.
\newblock {\em Model theory}, volume~42 of {\em Encyclopedia of Mathematics and
  its Applications}.
\newblock Cambridge University Press, Cambridge, 1993.

\bibitem{LSJ}
Henry~George Liddell and Robert Scott.
\newblock {\em A Greek-English Lexicon}.
\newblock Clarendon Press, Oxford, 1940.
\newblock Revised and augmented throughout by Sir Henry Stuart Jones.

\bibitem{MR1924282}
David Marker.
\newblock {\em Model theory}, volume 217 of {\em Graduate Texts in
  Mathematics}.
\newblock Springer-Verlag, New York, 2002.
\newblock An introduction.

\bibitem{Shorey}
Plato.
\newblock {\em Republic}.
\newblock Loeb Classical Library. Harvard University Press, Cambridge,
  Massachusetts, USA, 1980.
\newblock With an English Translation by Paul Shorey. In two volumes.

\bibitem{Post}
Emil~L. Post.
\newblock Introduction to a general theory of elementary propositions.
\newblock {\em Amer. J. Math.}, 43(3):163--185, July 1921.

\bibitem{MR1800596}
Philipp Rothmaler.
\newblock {\em Introduction to model theory}, volume~15 of {\em Algebra, Logic
  and Applications}.
\newblock Gordon and Breach Science Publishers, Amsterdam, 2000.
\newblock Prepared by Frank Reitmaier, Translated and revised from the 1995
  German original by the author.

\bibitem{MR0225631}
Joseph~R. Shoenfield.
\newblock {\em Mathematical logic}.
\newblock Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont.,
  1967.

\bibitem{MR83e:04002}
Robert~R. Stoll.
\newblock {\em Set theory and logic}.
\newblock Dover Publications Inc., New York, 1979.
\newblock Corrected reprint of the 1963 edition.

\bibitem{MR0263601}
Jean van Heijenoort, editor.
\newblock {\em Frege and {G}\"odel. {T}wo fundamental texts in mathematical
  logic}.
\newblock Harvard University Press, Cambridge, Mass., 1970.

\end{thebibliography}