erlin, Germany, 1984.

| Moody, Ernest A.,
|'Truth and Consequence in Mediaeval Logic',
| First published by North-Holland, Amsterdam, 1953,
| Reprinted by Greenwood Press, Westport, CN, 1976.

| Poizat, Bruno
|'A Course in Model Theory:
| An Introduction to Contemporary Mathematical Logic',
| Translated by Moses Klein,
| Springer-Verlag, New York, NY, 2000.

| Quine, W.V.,
|'Methods of Logic', Fourth Edition,
| Harvard University Press, Cambridge, MA, 1982.

| Robinson, J.A.,
|'Logic: Form and Function;
| 