
| Jeffrey, Richard,
|'Formal Logic: Its Scope and Limits',
| Second Edition, McGraw-Hill, New York, NY, 1981.

| Kleene, Stephen Cole,
|'Introduction to Metamathematics',
| North-Holland, Amsterdam, NL, 1971.

| Kowalski, Robert,
|'Logic for Problem Solving',
| North-Holland, New York, NY, 1979.

| Lambek, J. &amp; Scott, P.J.,
|'Introduction to Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.

| Lloyd, John Wylie,
|'Foundations of Logic Programming',
| Springer-Verlag, B