Mathematical Theories and Models

• Agazzi and Darvas. Philosophy of Mathematics Today. Kluwer Academic Publishers, 1997
• Anglin and Lambek. The Heritage of Thales. Springer-Verlag, 1995
• Akin, Ethan. The General Topology of Dynamical Systems. American Mathematical Society, 1993
• Barwise, Jon. (ed) Handbook of Mathematical Logic. North-Holland,1977
• Barwise, Jon. "Axioms for Abstract Model Theory",Annals of Mathematical Logic 7(1974) 221-265.
• Bell, John and Machover,Moshe. A Course in Mathematical Logic. North-Holland, 1977
• Bridge, Jane. Beginning Model Theory. Clarendon Press, 1977
• Burgess, John and Rosen, Gifeon. A Subject with No Object Oxford Press, 1997
• Chang, C.C. and Keisler, H. Jerome. Model Theory. North Holland, 1990
• Chihara, Charles. Constructibility and Mathematical Existence. Clarendon Press, 1990.
• Davey,B.A. and Priestly, H.A. Introduction to Lattices and Order. Cambridge University Press, 1990.
• Doets,Kees Basic Model Theory. CSLI Publications 1996.
• Ebbinghaus, Flumm and Thomas. Mathematical Logic. Springer-Verlag 1984.
• Ebbinghaus and Flum. Finite Model Theory. Springer-Verlag 1995.
• Foldes, Stephan. Fundamental Structures of Algebra and Discrete Mathematics. John Wiley, 1994
• Gabbay, Dov (ed). What is a Logical System? Oxford Science Publications, 1994
• Hart, W.D. The Philosophy of Mathematics. Oxford University Press, 1996
• Henle, Michael.A Combinatorial Introduction to Topology. Dover Publications, 1979
• Hodges, Wilfrid. Model Theory. Cambridge University Press, 1993
• Janich,Klaus.Topology. Springer Verlag, 1980
• Johnstone, P.T. Notes on Logic and Set Theory. Cambridge University Press, 1987.
• Krynicki,Mostowski,Szczerba. Quantifiers: Logics, Models and Computation,vols.I&II Kluwer, 1995.
• Lucas,J.R. Conceptual Roots of Mathematics Routledge, 2000.
• MacLane, Saunders. Mathematics: Form and Function. Springer-Verlag, 1986
• Mendelson, Bert.Introduction to Topology. Dover Publications, 1990
• Read, Stephen. Thinking About Logic. Oxford University Press, 1995
• Sieradski, Allan J. An Introduction to Topology and Homotopy. PWS-Kent Publishing, 1992
• Stefanik, Richard. "Structuralism, Category Theory and Philosophy of Mathematics". MSG Press, 1994
• Suppes, Patrick. Introduction to Logic. Van Nostrand, 1957
• Sutherland,W.A.Introduction to Metric and Topological Spaces. Clarendon Press, 1975
• Tarski, Alfred. Logic, Semantics and Metamathematics. Clarendon Press, 1956
• Taylor, Paul. Practical Foundations of Mathematics. Cambridge University Press, 1999
• van Dalen. Logic and Structure. Springer-Verlag, 1994
• Vickers, Steven. Topology Via Logic. Cambridge University Press, 1989
• Wall,C.T.C.A Geometric Introduction to Topology. Dover Publications, 1972
• return to Top of Page
  

Scientific Theories and Models

• Balzar, Moulines, Sneed. An Architectonic for Science. D.Reidel Publishing, 1987
• Coveney,Peter and Highfield, Roger.Frontiers of Complexity. Fawcett,1995
• Crosby, Alfred. The Measure of Reality. Cambridge University Press, 1997
• Cushing, James. Philosophical Concepts in Physics. Cambridge University Press, 1998
• Devitt, M. Realism and Truth. Princeton University Press, 1984
• French, Steven and Kamminga, Harmke.Correspondence,Invariance and Heuristics. Kluwer,1993
• Giere, Ronald. Understanding Scientific Reasoning. Holt, Rinehart and Winston, 1979
• Geroch, Robert. Mathematical Physics. University of Chicago Press,1985
• Hacking, Ian. Representing and Intervening. Cambridge University Press,1983
• Harre, Rom. Laws of Nature. Duckworth,1993
• Harre, Rom. Varieties of Realism. Blackwell,1987
• Harre, Rom., Aronson, Jerrold. and Way, Eileen Cornell. Realism Rescued.Duckworth, 1994
• Heelan, Patrick. Quantum Mechanics and Objectivity. Nijhoff,1965
• Heelan, Patrick. Space-Perception and the Philosophy of Science. University of California Press,1983
• Hesse, Mary. Models and Analogies in Science. Sheed and Ward, 1961
• Holland, John. Hidden Order. Addison-Wesley, 1995
• Hooker, C.A. The Logico-Algebraic Approach to Quantum Mechanics. D.Reidel Publishing,1975
• Horgan, John. The End of Science. Addison-Wesley, 1996
• Hoyningen-Huene, Paul. Reconstructing Scientific Revolutions. University of Chicago Press, 1993
• Hughes,R.I.G. The Structure and Interpretation of Quantum Mechanics. Harvard University Press, 1989
• Humphreys, Paul (ed). Patrick Suppes: Scientific Philosopher. Kluwer, 1994
• Kyburg, Henry. Science and Reason. Oxford University Press, 1990
• Laurence and Macdonald. Contemporary Readings in the Foundations of Metaphysics. Blackwell, 1998
• Losee,J. A Historical Introduction to the Philosophyof Science. Oxford University Press, 1980
• Lucas, J.R. Space, Time and Causality. Clarendon Press, 1984
• Mormann, Thomas. "Structuralist Reduction Concepts as Structure-Preserving Maps", Synthese 77 (1988)
• Newton-Smith, W. A Companion to the Philosophy of Science. Blackwell, 1999
• Newton-Smith, W. The Rationality of Science. Routledge and Kegan Paul, 1981
• Pearce, David. Roads to Commensurability. D.Reidel Publishing, 1987
• Pearce, David. Translation, Reduction and Equivalence. Peter Lang, 1985
• Putnam, Hilary. Realism and Reason. Cambridge University Press, 1983
• Radder, Hans. In and About the World: Philosophical Studies of Science and Technology. SUNY Press, 1996
• Rescher, Nicholas. Objectivity. University of Notre Dame Press, 1997
• Rescher, Nicholas. Process Metaphysics. State University of New York Press, 1996
• Rudolph,E. and Stamatescu, I.-O.(eds) Philosophy, Mathematics and Modern Physics. Springer-Verlag, 1994
• Scheibe,E. "A Most General Principle of Invariance"in Rudolph,Philosophy, Mathematics and Modern Physics
• Shapin,Steven.The Scientific Revolution University of Chicago Press, 1996
• Sneed, Joseph. The Logical Structure of Mathematical Physics. D.Reidel Publishing, 1974
• Sneed, Joseph. "Reduction, Interpretation and Invariance"in Balzer et al.(eds) Reduction in Science. Reidel,1984
• Sneed, Joseph. "Structural Explanation"in Humphreys.(eds) Patrick Suppes. D.Reidel,1984
• Stefanik, Richard. The Structures of Reality: Truth, Invariance and Scientific Objectivity. MSG Press,1994
• Stegmuller, Wolfgang. The Structure and Dynamics of Theories. Springer-Verlag, 1976
• Suppe, Frederick. The Structure of Scientific Theories. Univ. of Illinois Press, 1977
• Suppe, Frederick. The Semantic Conception of Theories and Scientific Realism. Univ. of Illinois Press,1989
• Suppes, Patrick. Models and Methods in Philosophy of Science. Kluwer, 1993
• van Fraasen, Bas. The Scientific Image. Clarendon Press, 1980
• van Fraasen, Bas. Laws and Symmetry. Clarendon Press, 1989
• van Fraasen, Bas. Quantum Mechanics. Clarendon Press, 1991
• Waldrop, Mitchell. Complexity: The Emerging Science at the Edge of Order and Chaos. Touchstone, 1992
• Weinberg, Stevee. Dreams of a Final Theory. Vintage Books, 1992
• Weyl, Hermann. Symmetry. Princeton University Press, 1952
• Wigner, Eugene. Symmetry and Reflections. Indiana University Press, 1967
• Wojcicki,Ryszard. "Theories and Theoretical Models"in Humphreys.(eds) Patrick Suppes, Reidel,1984
• return to Top of Page
  

Category Theory and Categorical Algebra

• Adamek, Jiri., Herrlich, Horst., Strecker, George. Abstract and Concrete Categories, John Wiley, 1990.
• Arbib, Michael and Manes, Ernest. Arrows, Structures,and Functors. Academic Press,1975
• Bell, J.L. Toposes and Local Set Theories. Oxford University Press, 1988
• Blyth, T.S. Categories. Longman, 1986.
• Borceux, Francis. Handbook of Categorical Algebra 1:Basic Category Theory. Cambridge University Press, 1994.[The Language of Categories, Limits, Adjoint Functors, Generatorsand Projectives, Categories of Fractions, Flat Functors and CauchyCompleteness, Bicategories and Distributors, Internal CategoryTheory]
• Borceux, Francis. Handbook of Categorical Algebra 2:Categories and Structures. Cambridge University Press,1994. [Abelian Categories, Regular Categories, Algebraic Theories,Monads, Accessible Categories, Enriched Category Theory, TopologicalCategories, Fibred Categories]
• Borceux, Francis. Handbook of Categorical Algebra 3:Categories of Sheaves. Cambridge University Press, 1994.[Locales, Sheaves, Grothendieck Toposes, The Classifying Topos,Elementary Toposes, Internal Logic of a Topos, The Law of Excluded Middle, The Axiom of Infinity, Sheaves in a Topos]
• Chapman and Rowbottom. Relative Category Theory and Geometric Morphisms. Clarendon Press,Oxford 1992
• Crole, Roy. Categories for Types. Cambridge University Press, 1993
• Goldblatt, Robert. Topoi: The Categorial Analysis of Logic. North Holland, 1984
• Herrlich, Horst and Strecker, George E. Category Theory.Allyn and Bacon, 1973
• Lambek, J. and Scott, P.J. Introduction to Higher Order Categorial Logic. Cambridge University Press,1986
• MacLane, Saunders. Categories for the Working Mathematician.Springer-Verlag, 1971
• MacLane, Saunders and Birkhoff, Garrett. Algebra.MacMillan, 1967
• MacLane, Saunders and Moerdijk,I. Sheaves in Geometry and Logic: A First Introduction to Topos Theory. Springer-Verlag,1992
• McLarty, Colin. Elementary Categories, Elementary Toposes,Clarendon, 1992
• Pitts, Andrew. Notes on Categorical Logic. University of Cambridge Computer Laboratory, 1989
• return to Top of Page
  

Mathematical Structures in Theoretical Computer Science

• Abramsky,Gabbay,and Maibaum. Handbook of Logic in Computer Science, Volume 1, Mathematical Structures.Clarendon Press,1994
• Abramsky,Gabbay,and Maibaum. Handbook of Logic in Computer Science, Volume 2, Computational Structures.Clarendon Press,1994
• Abramsky,Gabbay,and Maibaum.Handbook of Logic in Computer Science, Volume 3, Semantic Structures.Clarendon Press,1994
• Abramsky,Gabbay,and Maibaum. Handbook of Logic in Computer Science, Volume 4, Semantic Modelling.Clarendon Press,1995
• Barr and Wells. Category Theory for Computing Science. Prentice Hall,1990
• Bird and deMoor. Algebra of Programming. Prentice Hall,1997
• Pierce, Benjamin C. Basic Category Theory for Computer Scientists The MIT Press,1991
• Plotkin, Boris. Universal Algebra, Algebraic Logic and Databases. Kluwer,1994.
• Stoltenberg-Hansen,Lindstrom,and Griffor, Mathematical Theory of Domains. Cambridge University Press,1994
• return to Top of Page