Advanced Print References

Print References

References bearing upon Tau's methodology:

Bachmair, Leo and Harald Ganzinger. "Equational reasoning in saturation based theorem proving". In Wolfgang Bibel and Peter H. Schmidt, editors, Automated Deduction: A Basis for Applications. Volume I, Foundations: Calculi and Methods, pages 353–398. Kluwer Academic Publishers, Dordrecht, 1998.

Brand, Daniel. "Proving theorems with the modification method". SIAM Journal on Computing, 4(4):412–430, 1975.

BundyAlan. "The Automation of Proof by Mathematical Induction". Handbook of Automated Reasoning 2001: 845-911

Chang, C.L., and R. C. T. Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, New York, 1973.

Degtyarev, Anatoli and Andrei Voronkov. "Equality reasoning in sequent-based calculi". In Alan Robinson and Andrei Voronkov, editors, Handbook of Automated Reasoning. Elsevier Science Publishers, 1999.

Hooker, J.N. "Solving the incremental satisfiability problem", Journal of Logic Programming 15 (1993) 177-186.

Hooker, J.N. "New methods for computing inferences in first order logic", Annals of Operations Research (1993) 479-492.

Inoue, K. "Linear resolution for consequence finding". Artificial Intelligence, 56:301--353, 1992.

Loveland, D.W.“A simplified format for the model elimination procedure,” Journal of the Association for Computing Machinery, Vol. 15, No. 2, 1969, pp. 349-363.

Loveland, D.W. "Mechanical theorem-proving by model elimination," Journal of the ACM, 15(2):236-251, April 1968.

Loveland, D.W. Automated Theorem Proving: A Logical Basis. North-Holland, Amsterdam, 1978.

Martelli, Alberto and Ugo Montanari: An Efficient Unification Algorithm. ACM Trans. Program. Lang. Syst. 4(2): 258-282 (1982)

Martelli, A., and Montanari, U. "Theorem proving with structure sharing and efficient unification". Internal Rep. S-77-7, Ist. di Scienze della Informazione, University of Pisa, Pisa, Italy; also in Proceedings of the 5th International Joint Conference on Artificial Intelligence, Boston, 1977, p. 543.

Robinson, J.A. "A machine-oriented logic based on the resolution principle". Jour. Assoc. for Comput. Mach., 1965, 23-41.

Robinson, J.A. "Computational logic: The unification computation". In Machine Intelligence, vol. 6, B. Meltzer and D. Michie (Eds.). Edinburgh Univ. Press, Edinburgh, Scotland, 1971, pp. 63-72.

Stickel, M.E. "A Prolog technology theorem prover". New Generation Computing, 1984, 371-383.

The following bibliography is primarily for our own use, but the items may prove of interest variously to students, logicians, computer scientists, or computer programmers who are interested in the fields of logic, formal mathematics, cognitive science, logic programming, computational linguistics, and artificial intelligence.

Printed book bibliography

Philosophy
- French, Peter A., Uehling, Jr., Theodore E., and Wettstein, Howard K.
  Midwest Studies in Philosophy, V: Studies in Epistemology
  University of Minnesota Press, Minneapolis, 1980
- French, Peter A., Uehling, Jr., Theodore E., and Wettstein, Howard K
  Contemporary Perspectives in the Philosophy of Language
  University of Minnesota Press, Minneapolis, 1979
- Searle, John R.
  Intentionality: an Essay in the Philosophy of Mind
  Cambridge University Press, Cambridge, 1983
- Suppe, Frederick
  The Structure of Scientific Theories, 2nd Ed.
  University of Illinois Press, Urbana, IL, 1979
- Wang, Hao
  From Mathematics to Philosophy
  Routledge & Kegan Paul, London, 197.
Knowledge Representation, Language, and AI
- Barr, Avron and Feigenbaum, Edward A.
  The Handbook of Artificial Intelligence
  Heuristech Press, Stanford, CA, 1981
- Cresswell, M.J.
  Logics and Languages
  Methuen & Co., Ltd., London, 1973
- Dreyfus, Hubert L.
  What Computers Cant Do: the Limits of Artificial Intelligence
  Harper and Row, New York, 1979
- Liebowitz, Jay
  The Handbook of Applied Expert Systems
  CRC Press, Boca Raton, 1998
- Montague, Richard, and Thomason, Richmond (Ed.)
  Formal Philosophy: Selected Paper of Richard Montague
  Yale University Press, New Haven, Conn. 1974
- Partee, Babara H. (Ed.)
  Montague Grammar
  Academic Press, Inc., New York, 1976
- Russell, Stuart and Norvig, Peter
  Artifical Intelligence: a Modern Approach
  Prentice-Hall, Upper Saddle River, N.J., 1995
- Sowa, John F.
  Knowledge Representation: Logical, Philosophical and Computational Foundations
  Brooks/Cole, Pacific Grove, CA. 2000
- van Benthem, J. and ter Meulen, A. (Eds.)
  Logic and Language
  The MIT Press, Cambridge, Masshusetts, 1997
- Weizenbaum, Joseph
  Computer Power and Human Reason: from Judgement to Calculation
  W.H. Freeman and Co., San Francisco, 1976
- Winston, Patrick Henry
  Artificial Intelligence
  Addison-Wesley Publishing Co., Reading, Mass., 1979
Mathematics and set-theory
- Barwise, Jon
  Admissible Sets and Structures
  Springer-Verlage, Berlin, 1975
- Bourbaki, Nicolas
  Theory of Sets
  Addison-Wesley Publishing Company, Reading, Mass., 1968
- Christenson, C.O. and Voxman, W.L.
  Aspects of Topology
  Marcel Dekker, Inc., New York, 1977
- Crossley, John, N.
  Constructive Order Types
  North-Holland Publishing Co., Amsterdam, 1969.
- Dantzig, Tobias
  Number, the Language of Science
  4th edition, Doubleday.
- Davis, Martin
  Applied Nonstandard Analysis
  John Wiley and Sons, New York, 1977
- Dugundji, James
  Topology
  Allyn and Bacon, Inc., Boston, 1966
- Fraenkel, Abraham A. and Bar-Hillel, Yehoshua
  Foundations of Set Theory
  North-Holland Publishing Co., Amsterdam, 1958
- Goldblatt, Robert
  Topoi: the Categorial Analysis of Logic
  North-Holland Publishing Co., Amsterdam, 1979
- Gratzer, G.
  Universal Algebra, 2nd Ed.
  Springer-Verlag, New York, 1979
- Halmos, Paul R.
  Naive Set Theory
  D. Van Nostrand, Princeton, NJ, 1960
- Halmos, Paul R.
  Algebraic Logic
  Chelsea Publishing Co., New York, 1962
- Halmos, Paul R.
  Measure Theory
  Springer-Verlage, New York, 1974
- Hungerford, Thomas W.
  Algebra
  Springer-Verlag, New York, 1974
- Jech, Thomas
  Set Theory
  Academic Press, New York, 1978
- Kelley, John L.
  General Topology
  D. van Nostrand Co., Inc., Princeton, N.J., 1955
- Kline, Morris
  Mathematics, the Loss of Certainty
  OXFORD UNIVERSITY PRESS, NEW YORK (1980)
- Kuratowski, K. and Mostowski, A.
  Set Theory
  North-Holland Publishing Co., Amsterdam, 1966
- Kuratowski, Kazimierz
  Introduction to Set Theory and Topology, 2nd Ed.
  Pergamon Press, Oxford, 1972
- Levy, Azriel
  Basic Set Theory
  Springer-Verlag, New York, 1979
- MacLane, Saunders
  Categories for the Working Mathematician
  Springer-Verlage, New York, 1971
- MacLane, Saunders, and Birkhoff, Garrett
  Algebra, 2nd Ed.
  MacMillan Publishing Co., New York, 1979
- Mitchell, Barry
  Theory of Categories
  Academic Press, New York, 1965
- Monk, Donald J.
  Introduction to Set Theory
  Robert E. Krieger Publishing Co., Huntington, N.Y., 1980
- Stoll, Robert E.
  Set Theory and Logic
  W. H. Freemand and Co., San Francisco, 1963
- Suppes, Patrick
  Axiomatic Set Theory
  Dover Publications, Inc., New York, 1972
- Quine, Willard V. O.
  Set Theory and its Logic
  Harvard University Press, Cambridge, Mass., 1969
- Waismann, Friedrich
  Introduction to Mathematical Thinking: The Formation of Concepts in Modern Mathematics
  Harper and Row, New York, 1951
- Weyl, Hermann
  Philosophy of Mathematics and Natural Science
  Princeton University Press, 1949
- Willard, Stephen
  General Topology
  Addison-Wesley Publishing Co., Reading, Mass., 1970
Logic
- Addison, J.W., Henkin, L., and Tarski, A.
  Theory of Models
  North-Holland Publishing Co., Amsterdam, 1965
- Barwise, Jon
  Handbook of Mathematical Logic
  North-Holland Publishing Co., Amsterdam, 1977
- Bell, John L. & Machover, Moshé
  A Course in Mathematical Logic
  North-Holland Publishing Co., Amsterdam, Netherlands, 1977
- Bell, John L., and Machover, Moshé
  Models and Ultraproducts: an Introduction
  North-Holland Publishing Co., Amsterdam, 1971
- Beth, Ewert W.
  Foundations of Mathematical Logic
  North-Holland Publishing Co., Amsterdam, 1968
- Boolos, G.S. & Jeffrey, R.C.
  Computability & Logic, 2nd ed.
  Cambridge University Press, Cambridge, UK, 1980
- Buss, Samuel R.
  Handbook of Proof Theory
  Elsevier, New York, NY, 1998
- Chang, C.C. & Keisler, H.J.,
  Model Theory
  North-Holland Publishing Co., Amsterdam, NL, 1973
- Church, Alonzo
  Introduction to Mathematical Logic
  Princeton University Press, Princeton, NJ, 1956
- Crossley, J.N., et al.,
  What Is Mathematical Logic?
  Oxford University Press, Oxford UK, 1972
- Curry, Haskell B.
  Foundations of Mathematical Logic
  Dover Publications, Inc., New York, 1977
- Curry, Haskell B.
  Theory of Formal Deducibility
  Notre Dame Mathematical Lecture Series, #6, Notre Dame, 1966
- Enderton, Herbert B.
  A Mathematical Introduction to Logic, 2nd Ed.
  Harcourt Academic Press, New York, 2001
- Ershov, Yu L., and Palytin, E.A.
  Mathematical Logic
  Mir Publishers, Moscow, 1984.
- Hilbert, David & Ackermann, Wilhelm,
  Principles of Mathematical Logic
  Chelsea Publishing, New York, NY, 1950
- Hunter, Geoffrey
  Metalogic: an Introduction to the Metatheory of Standard First Order Logic
  Univ. of California Press, Berkeley, CA, 1971
- 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
- Kleene, Stephen Cole
  Mathematical Logic
  John Wiley & Sons, Inc., New York, 1967
- Kneale, William, and Kneale, Martha
  Development of Logic
  Clarendon Press, Oxford, 1962
- Mates, Benson
  Elementary Logic, 2nd Ed.
  Oxford University Press, New York, 1972
- Mendelson, Elliot
  Introduction to Mathematical Logic
  D. van Nostrand Co., New York, 1964
- Monk, Donald J.
  Mathematical Logic
  Springer-Verlag, New York 1976
- Montague, Richard and Donald Kalish
  Logic, Techniques of Formal Reasoning
  New York, Harcourt, Brace and World,Inc., 1964.
- Montague, Richard , Kalish, Donald, and Mar, Gary (Ed. Robert Fogelin)
  Logic: Techniques of Formal Reasoning
  Harcourt Brace, New York, 1980
- Morley, M.D. (Ed.)
  Studies in Model Theory
  Mathematical Association of America, 1973
- Nolt, J. and D. Rohatyn, A. Varzi
  Schaum's Outline of Logic
  McGraw-Hill, 1998
- Prior, A. N.
  Formal Logic, 2nd Ed.
  Clarendon Press, Oxford, 1962
- Quine, W.V.
  Methods of Logic, Fourth Edition
  Harvard University Press, Cambridge, MA, 1982
- Rogers, Robert
  Mathematical Logic and Formalized Theories
  North-Holland Publishing Co., Amsterdam, 1971
- Sacks, Gerald E.
  Saturated Model Theory
  W.A Benjamin, Inc., Reading, Mass., 1972
- Schoenfield, Joseph H.
  Mathematical Logic
  Addison-Wesley Publishing Co., Inc., Reading, Mass., 1967
- Schutte, Kurt
  Proof Theory
  Springer-Verlag, Berlin, 1977
- Smullyan, Raymond M.
  First-Order Logic
  Dover Publications, Mineola, NY, 1995
- Suppes, Patrick
  Introduction to Logic
  D. van Nostrand Co., New York, 1957
- Tarski, Alfred
  Logic, Semantics, Metamathematics, 2nd Ed.
  Oxford University Press, New York, 1963
- Thomas, James A.
  Symbolic Logic
  Charles E. Merrill Publishing Co., Columbus, Ohio, 1977
- van Fraassen, Bas
  Formal Sematics and Logic
  MacMillan Co., New York, 1971
- van Heijenoort, Jean (Ed.)
  From Frege to Godel: a Source Book in Mathematical Logic, 1879-1931
  Harvard University Press, Cambridge, Mass., 1967
- Wang, Hao
  A Survey of Mathematical Logic
  North-Holland Publishing Co., Amsterdam, 1963
Logic programming and computation
- Aho, Alfred V. and Ullman, Jeffrey D.
  Principles of Compiler Design
  Addison-Wesley Publishing Company, Reading, Massachusetts, 1977
- Apt, de Bakker, and Rutten (Eds)
  Logic Programming Languages: Constraints, Functions and Objects
  MIT Press, Cambridge, 1993
- Arbib and Manes (Eds)
  Algebraic Approaches to Program Semantics
  Springer-Verlag, New York, 1986
- Beckman, F.S.
  Mathematical Foundations of Programming
  Addison-Wesley Publishing Co., Inc., Reading, Mass., 1980
- Berztiss, A.T.
  Data Structures: Theory and Practice
  Academic Press, New York, NY, 1975
- Brainerd, Walter S. and Landweber, Lawrence H.
  Theory of Computation
  John Wiley and Sons, New York, NY, 1974
- Chang, Chin-Liang and Lee, Richard Char-Tung
  Symbolic Logic and Mechanical Theorem Proving
  Academic Press, New York, NY, 1973
- Cutland, N.J.
  Computability: An Introduction to Recursive Function Theory
  Cambridge University Press, Cambridge, UK, 1980
- Davis, M.
  Computability & Unsolvability (enlarged ed.)
  Dover Pubs., New York, NY, 1982
- Dreben, Burton, and Goldfarb, Warren D.
  The Decision Problem: Solvable Classes of Quantificational Formula
  Addison-Wesley Publishing Co., Inc., Reading, Mass., 1979
- Dijkstra, Edsger W. and Scholten, Carel S.
  Predicate Calculus and Program Semantics
  Springer-Verlag, New York, NY, 1990
- Ginsburg, Seymour
  An Introduction to Mathematical Machine Theory
  Addison-Wesley Publishing Company, Reading, Massachusetts, 1962
- Gries, David
  The Science of Programming
  Springer-Verlage, New York, NY, 1981
- Harrison, Michael A.
  Introduction to Formal Language Theory
  Addison-Wesley Publishing Company, Reading, Masschudetts, 1978
- Hermes, Hans
  Enumerability, Decidability, Computability
  Springer-Verlag, Inc., New York, 1969
- Hogger, Christopher
  Introduction to Logic Programming
  Academic Press, London, 1984
- Hopcroft, John E., and Ullman, Jeffrey D.
  Introduction to Automata Theory, Languages, and Computation
  Addison-Wesley Publishing Company, Reading, Massachusetts, 1979
- Huet, Gerard
  Logical Foundations of Functional Programming
  Addison-Wesley Publishing Company, Reading, Masschusetts, 1990
- Lewis, Harry R., and Papadimitriou, Christos H.
  Elements of the Theory of Computation
  Prentice-Hall, Inc., Eaglewood Cliffs, New Jersey, 1981
- Lewis, Harry R.
  Unsolvable Classes of Quantification Formulas
  Addison-Wesley Publishing Co., Inc., Reading, Mass., 1979
- Lewis, Harry R.
  Foundations of Logic Programming
  Springer-Verlag, Berlin, 1984
- Lloyd, John Wylie
  Foundations of Logic Programming
  Springer-Verlag, Berlin, 1984
- McGettrick, Andrew D.
  The Definition of Programming Languages
  Cambridge University Press, New York, NY, 1980
- Robinson and Voronkov (Eds)
  Handbook of Automated Reasoning (2 vols)
  MIT Press, Cambridge, 2002
- Rogers, Hartley, Jr.
  Theory of Recursive Functions and Effective Computability
  McGraw-Hill, New York, 1967
- Salomaa, Arto
  Jewels of Formal Language Theory
  Computer Science Press, Rockville, Maryland, 1981
- Siekmann, Jorg and Wrightson, Graham (Eds.)
  Automation of Reasoning: Classical Papers on Computational Logic (2 vols.)
  Springer-Verlag, Berlin, 1983
- Ullman, Jeffrey D.
  Principles of Database Systems
  Computer Science Press, Potomac, Maryland, 1980
- Wirth, Nicklaus
  Algorithms + Data Structures = Programs
  Prentice-Hall, Englewood Cliffs, NJ, 1976
- Wolfram, D.A.
  Clausal Theory of Types
  Cambridge University Press, Cambridge, 1993