Research Catalog

New! Try our Article Search to discover online journals, books, and more from home with your library card.

Selected filters.Clear Filters

  • A mathematical introduction to logic / Herbert B. Enderton.

    • Text
    • San Diego, Calif. : Academic Press, [2001], ©2001.
    • 2001-2001
    • 2 Items
    FormatCall NumberItem Location
    Text Off-site
    Not available - Please for assistance.
    FormatCall NumberItem Location
    Text QA9 .E54 2001Off-site

  • Symbolic logic : an introductory textbook for non-mathematicians / Harold Newton Lee.

    • Text
    • London : Routledge & Kegan Paul, 1962.
    • 1962
    • 1 Item
    FormatCall NumberItem Location
    Text 164 L51Off-site

  • Proceedings of the International Symposium on Symbolic and Algebraic Computation : ISSAC.

    • Text
    • New York, N.Y. : ACM Press, c1990-
    • 1990-present
    • 2 Items
    FormatCall NumberItem Location
    Text QA76.95 .I59 1998Off-site
    FormatCall NumberItem Location
    Text QA76.95 .I59 1999Off-site

  • Integrating symbolic mathematical computation and artificial intelligence : second international conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers / Jacques Calmet, John A. Campbell, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.M35 I567 1995Off-site

  • Introduction to symbolic logic and its applications / by Rudolf Carnap ; translated by William H. Meyer and John Wilkinson.

    • Text
    • New York : Dover Publications, 1958.
    • 1958
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .C3142 1958Off-site

  • Dictionary of symbols of mathematical logic. Edited by Robert Feys and Frederic B. Fitch.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1969.
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .F49Off-site

  • Logik; ihr System und ihr Verhältnis zur Logistik.

    • Text
    • [Stuttgart] W. Kohlhammer [1961]
    • 1961
    • 1 Item
    FormatCall NumberItem Location
    Text 6275.364Off-site

  • Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen.

    • Text
    • Berlin : Springer-Verlag, [1983]
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text QA155.7.E4 E85 1983Off-site

  • Introduction to mathematical logic / Elliott Mendelson.

    • Text
    • New York : Van Nostrand, [1979]
    • 1979-1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .M4 1979Off-site

  • Computation of language : an essay on syntax, semantics, and pragmatics in natural man-machine communication / Roland Hausser.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1989.
    • 1989
    • 1 Item
    FormatCall NumberItem Location
    Text Q335 .H39 1989Off-site

  • Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992 : proceedings / Jacques Calmet, John A. Campbell (eds).

    • Text
    • Berlin ; New York : Springer-Verlag, ©1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text Q334 .I5488 1992Off-site

No results found from Digital Research Books Beta

Digital books for research from multiple sources world wide- all free to read, download, and keep. No Library Card is Required. Read more about the project.

digital-research-book
Explore Digital Research Books Beta