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

  • Phenomenology of choice sequences = Fenomenologie van de keuzerij / door Markus Sebastiaan Paul Rogier van Atten.

    • Text
    • Utrecht : Leiden-Utrecht Research Institute of Philosophy, ©1999.
    • 1999
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.47 .A88 1999Off-site

  • First-order logic revisited / editors, Vincent Hendricks ... [et al.].

    • Text
    • Berlin : Logos, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text BC128 .F57 2004Off-site

  • The foundations of mathematics and other logical essays / by Frank Plumpton Ramsey ... Edited by R.B. Braithwaite ... with a preface by G.E. Moore ...

    • Text
    • London, K. Paul, Trench, Trubner & Co.; New York, Harcourt, Brace and Co., 1931.
    • 1931
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .R367 1931Off-site

  • The L.E.J. Brouwer Centenary Symposium : proceedings of the conference held in Noordwijkerhout, 8-13 June 1981 / edited by A.S. Troelstra and D. van Dalen.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co. ; New York, N.Y. : Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1982.
    • 1982
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.56 .L2 1981Off-site

  • Logic for problem solving / Robert Kowalski.

    • Text
    • New York : Elsevier North Holland, ©1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text QA63 .K68Off-site

  • Colloque international de logique : Clermont-Ferrand, 18-25 juillet 1975 / Centre national de la recherche scientifique.

    • Text
    • Paris : Éditions du C.N.R.S., 1977.
    • 1977
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .C55 1975Off-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

  • On understanding physics / by W.H. Watson.

    • Text
    • Cambridge [England] : University Press, 1938.
    • 1938
    • 1 Item
    FormatCall NumberItem Location
    Text 8205.957Off-site

  • Das Theorem des Pythagoras : wiederhergestellt in seiner ursprünglichen Form und betrachtet als Grundlage der ganzen Pythagoreischen Philosophie / von H.A. Naber.

    • Text
    • Haarlem : P. Visser, 1908.
    • 1908
    • 1 Item
    FormatCall NumberItem Location
    Text 6039.742.83Off-site

  • Les principes de la logique et la critique contemporaine / Arnold Reymond.

    • Text
    • Paris : Boivin & Cie, 1932.
    • 1932
    • 1 Item
    FormatCall NumberItem Location
    Text 6274.763Off-site

  • Frege : tradition & influence / edited by Crispin Wright.

    • Text
    • Oxford, UK ; New York, NY, USA : B. Blackwell, 1984.
    • 1984
    • 1 Item
    FormatCall NumberItem Location
    Text B3245.F24 F73 1984Off-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

  • Logic and structure / Dirk van Dalen.

    • Text
    • Berlin ; New York : Springer-Verlag, ©2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .D16 2004Off-site

  • Logical foundations of artificial intelligence / Michael R. Genesereth and Nils J. Nilsson.

    • Text
    • Los Altos, Calif. : Morgan Kaufmann, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text Q335 .G37Off-site

  • Computability and logic / Daniel E. Cohen.

    • Text
    • Chichester, West Sussex, England : E. Horwood ; New York : Halsted Press, 1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.59 .C64 1987Off-site

  • Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

    • Text
    • Cambridge [U.K.] ; New York : Cambridge University Press, 2004.
    • 2004
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.9.L63 H88 2004Off-site

  • Propositions, functions, and analysis : selected essays on Russell's philosophy / Peter Hylton.

    • Text
    • Oxford : Clarendon Press ; New York : Oxford University Press, 2005.
    • 2005
    • 1 Item
    FormatCall NumberItem Location
    Text B1649.R94 H94 2005Off-site

  • Self-reference / edited by Thomas Bolander, Vincent F. Hendricks, and Stig Andur Pedersen.

    • Text
    • Stanford, Calif. : Center for the Study of Language and Information, ©2006.
    • 2006
    • 1 Item
    FormatCall NumberItem Location
    Text B105.R25 S45 2006Off-site

  • Mathematical logic in Latin America : proceedings of the IV Latin American Symposium on Mathematical Logic held in Santiago, December 1978 / edited by A.I. Arruda, R. Chuaqui, N.C.A. da Costa.

    • Text
    • Amsterdam ; New York : North-Holland Pub. Co. ; New York : Sole distributors for the U.S.A. and Canada, Elsevier North-Holland, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.A1 L37 1980Off-site

  • Mathematische Logik von 1847 bis zur Gegenwart : eine bibliometrische Untersuchung / Roland Wagner-Döbler und Jan Berg.

    • Text
    • Berlin ; New York : W. de Gruyter, 1993.
    • 1993
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .W336 1993Off-site

  • Methods of logic.

    • Text
    • New York, Holt [1950]
    • 1950
    • 1 Item
    FormatCall NumberItem Location
    Text BC71 .Q5 1950Off-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