Research Catalog

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

Selected filters.Clear Filters

  • Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California / edited by Dexter Kozen ; sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing ; in cooperation with Special Interest Group on Automata and Computability Theory of the ACM [and others].

    • Text
    • Los Alamitos, Calif. : IEEE Computer Society Press, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .S9813 1995Off-site

  • Logic and computational complexity : international workshop, LCC '94, Indianapolis, IN, USA, October 13-16, 1994 : selected papers / Daniel Leivant (ed.).

    • Text
    • Berlin ; New York : Springer, ©1995.
    • 1995
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.A1 L625 1995Off-site

  • Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers / Hans Kleine Büning, (ed.).

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .W625 1995Off-site

  • Grammatical inference : learning syntax from sentences : Third International Colloquium, ICGI-96, Montpellier, France, September 25-27, 1996 : proceedings / Laurent Miclet, Colin de la Higuera (eds.).

    • Text
    • Berlin ; New York : Springer, ©1996.
    • 1996
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.N38 G7 1996Off-site

  • Logic, language, and computation / edited by Seiki Akama.

    • Text
    • Dordrecht ; Boston : Kluwer Academic Publishers, ©1997.
    • 1997
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.N38 L63 1997Off-site

  • Topics in philosophical logic / Nicholas Rescher.

    • Text
    • Dordrecht : D. Reidel ; New York : Humanities Press, 1968.
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .R473 1968Off-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

  • The theory of models; proceedings. Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1965.
    • 1965
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.495Off-site

  • A course in mathematical logic / Y.I. Manin ; translated from the Russian by Neal Koblitz.

    • Text
    • New York : Springer Verlag, ©1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .M296Off-site

  • L'induction scientifique et les lois naturelles / Robert Blanché.

    • Text
    • [Paris] : Presses universitaires de France, 1975.
    • 1975
    • 1 Item
    FormatCall NumberItem Location
    Text Q175.B6Off-site

  • Elementary logic, by Willard Van Orman Quine.

    • Text
    • Boston, New York, Ginn and Company [©1941]
    • 1941
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.743.2Off-site

  • Symbolic logic and the real number system; an introduction to the foundations of number systems [by] A.H. Lightstone.

    • Text
    • New York, Harper & Row [1965]
    • 1965
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.585.2Off-site

  • Notes on logic, by Roger C. Lyndon.

    • Text
    • Princeton, N.J., Van Nostrand [1966]
    • 1966
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .L963 1966Off-site

  • An introduction to Wittgenstein's Tractatus / G. E. M. Anscombe.

    • Text
    • London : Hutchinson University Library, 1959.
    • 1959-1959
    • 1 Item
    FormatCall NumberItem Location
    Text B3376.W563 T73432 1959Off-site

  • Formale Logik.

    • Text
    • Berlin, W. de Gruyter, 1962.
    • 1962
    • 1 Item
    FormatCall NumberItem Location
    Text 6278.597.11Off-site

  • Interpretationen der Modallogik : ein Beitrag zur phänomenologischen Wissenschaftstheorie / Olav K. Wiegand.

    • Text
    • Dordrecht, The Netherlands ; Boston : Kluwer Academic Publishers, ©1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text BC199.M6 W54 1998Off-site

  • Logics for artificial intelligence / Raymond Turner.

    • Text
    • Chichester : E. Horwood ; New York : Halsted Press, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text Q335 .T87 1984Off-site

  • Theory of deductive systems and its applications / S. Yu. Maslov ; translated by Michael Gelfond and Vladimir Lifschitz.

    • Text
    • Cambridge, Mass. : MIT Press, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .M34413 1987Off-site

  • Proceedings / Third Annual Symposium on Logic in Computer Science, July 5-8, 1988, Edinburgh, Scotland ; sponsored by the Computer Society's Technical Committee on Mathematical Foundations of Computing.

    • Text
    • Washington, D.C. : Computer Society Press, [1988]
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA75.5 .S9813 1988Off-site

  • A computational logic handbook / Robert S. Boyer, J Strother Moore.

    • Text
    • Boston : Academic Press, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.A96 B684 1988Off-site

  • Methodologies for intelligent systems : 6th International Symposium, ISMIS '91, Charlotte, N.C., USA, October 16-19, 1991 : proceedings / Z.W. Ras, M. Zemankova, eds.

    • Text
    • Berlin ; New York : Springer-Verlag, ©1991.
    • 1991
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.76.E95 I582 1991Off-site

  • Symbolic and knowledge-based signal processing / editors, Alan V. Oppenheim and S. Hamid Nawab.

    • Text
    • Englewood Cliffs, N.J. : Prentice Hall, ©1992.
    • 1992
    • 1 Item
    FormatCall NumberItem Location
    Text TK5102.5 .S959 1992Off-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

  • Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings / Michael Clarke, Rudolf Kruse, Serafín Moral (eds.).

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

  • The basic laws of arithmetic ; exposition of the system / translated and edited with an introduction by Montgomery Furth.

    • Text
    • Berkeley, University of California Press, 1964.
    • 1964
    • 1 Item
    FormatCall NumberItem Location
    Text 81101.361.1964Off-site

  • Solvable cases of the decision problem.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1954.
    • 1954
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.113Off-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