ONT Bibliography On Logical Formalization And Mechanization
¤~~~~~~~~~¤~~~~~~~~~¤~BIBLIOGRAPHY~¤~~~~~~~~~¤~~~~~~~~~¤
Bibliography On Logical Formalization And Mechanization
| Arbib, M.A.,
|'Brains, Machines, Mathematics', 1st ed. 1964,
| 2nd ed., Springer-Verlag, New York, NY, 1987.
| Barr, Michael & Wells, Charles,
|'Category Theory for Computing Science',
| Prentice Hall, London, UK, 1990.
| Barwise, Jon & 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. & Machover, Moshé,
|'A Course in Mathematical Logic',
| North-Holland, Amsterdam, Netherlands, 1977.
| Boolos, G.S. & Jeffrey, R.C.,
|'Computability & Logic', 2nd ed.,
| Cambridge University Press, Cambridge, UK, 1980.
| Chang, C.C. & Keisler, H.J.,
|'Model Theory',
| North-Holland, Amsterdam, NL, 1973.
| Chang, Chin-Liang & Lee, Richard Char-Tung,
|'Symbolic Logic and Mechanical Theorem Proving',
| Academic Press, New York, NY, 1973.
| Crossley, J.N., et al.,
|'What Is Mathematical Logic',
| Oxford University Press, Oxford UK, 1972.
| Cutland, N.J.,
|'Computability: An Introduction to Recursive Function Theory',
| Cambridge University Press, Cambridge, UK, 1980.
| van Dalen, Dirk,
|'Logic and Structure', Second Edition,
| Springer-Verlag, Berlin, Germany, 1983.
| Davis, M.,
|'Computability & Unsolvability', 1st ed. 1958,
| enlarged ed., Dover Pubs., New York, NY, 1982.
| Dijkstra, Edsger W. & Scholten, Carel S.,
|'Predicate Calculus and Program Semantics',
| Springer-Verlag, New York, NY, 1990.
| Ebbinghaus, H.-D., Flum, J., & Thomas, W.,
|'Mathematical Logic',
| Springer-Verlag, New York, NY, 1984.
| Gries, David & Schneider, Fred B.,
|'A Logical Approach to Discrete Math',
| Springer-Verlag, New York, NY, 1993.
| Halmos, Paul R.,
|'Naive Set Theory',
| D. Van Nostrand, Princeton, NJ, 1960.
| Hilbert, David & Ackermann, Wilhelm,
|'Principles of Mathematical Logic',
| Chelsea Publishing, New York, NY, 1950.
| 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. & Scott, P.J.,
|'Introduction to Higher Order Categorical Logic',
| Cambridge University Press, Cambridge, UK, 1986.
| Lloyd, John Wylie,
|'Foundations of Logic Programming',
| Springer-Verlag, Berlin, Germany, 1984.
| Minsky, M. & Papert, S.,
|'Perceptrons: An Introduction to Computational Geometry',
| 1st ed. 1969, expanded ed., MIT Press, Cambridge, MA, 1988.
| 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;
| The Mechanization of Deductive Reasoning',
| Elsevier North Holland, New York, NY, 1979.
| Rogers, Hartley, Jr.,
|'Theory of Recursive Functions and Effective Computability',
| McGraw-Hill, New York, NY, 1967.
| Smullyan, Raymond M.,
|'First-Order Logic',
| Dover Publications, Mineola, NY, 1995.
¤~~~~~~~~~¤~~~~~~~~~¤~YHPARGOILBIB~¤~~~~~~~~~¤~~~~~~~~~¤