~¤~~~~~~~~~¤~BIBLIOGRAPHY~¤~~~~~~~~~¤~~~~~~~~~¤

Bibliography on Logical Formalization &amp; Mechanization

| Barr, Michael &amp; Wells, Charles,
|'Category Theory for Computing Science',
| Prentice Hall, London, UK, 1990.

| Barwise, Jon &amp; Etchemendy, John,
|'The Language of First-Order Logic',
| Including the Program 'Tarski's World',
| CSLI Lecture Notes, Number 23,
| CSLI, Stanford, CA, 1990.

| Bell, John L. &amp; Machover, Moshé,
|'A Course in Mathematical Logic',
| North-Holland, Amsterdam,