Research Catalog

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

Selected filters.Clear Filters

  • The logic of programming / Eric C.R. Hehner.

    • Text
    • Englewood Cliffs, N.J. : Prentice/Hall International, [1984], ©1984.
    • 1984-1984
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .H427 1984Off-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

  • Der Konventionalismus der formalen Logik in der Kontroverse / vorgelegt von Kwong Chi-yan.

    • Text
    • Münster (Westf.) : [publisher not identified], 1979.
    • 1979
    • 1 Item
    FormatCall NumberItem Location
    Text BC73 .K88 1979Off-site

  • Algebra, logic, set theory : Festschrift für Ulrich Felgner zum 65. Geburtstag / edited by Benedikt Löwe.

    • Text
    • London : College Publications, c2007.
    • 2007
    • 1 Item
    FormatCall NumberItem Location
    Text QA10 .A44 2007Off-site

  • 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

  • The threat of logical mathematism : a study on the critique of mathematical logic in Germany at the turn of the 20th century / Jarmo Pulkkinen.

    • Text
    • Frankfurt am Main ; New York : P. Lang, ©1994.
    • 1994
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .P85 1994Off-site

  • Philosophical problems in Logic. Some recent developments. Ed. by Karel Lambert.

    • Text
    • Dordrecht, Reidel [1970]
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text BC199.M6 P455 1970Off-site

  • Equivalents of the axiom of choice [by] Herman Rubin and Jean E. Rubin.

    • Text
    • Amsterdam, North-Holland Pub. Co., 1970 [©1963]
    • 1970-1963
    • 1 Item
    FormatCall NumberItem Location
    Text QA248 .R8Off-site

  • Zweiwertige und mehrwertige Logik; ein Beitrag zur Geschichte und Einheit der Logik.

    • Text
    • München, Ehrenwirth, [1973]
    • 1973
    • 1 Item
    FormatCall NumberItem Location
    Text BC126 .R889 1973Off-site

  • Theory of formal systems.

    • Text
    • Princeton, N.J., Princeton University Press, 1961.
    • 1961
    • 1 Item
    FormatCall NumberItem Location
    Text QA248.5 .S55Off-site

  • A profile of mathematical logic.

    • Text
    • Reading, Mass., Addison-Wesley Pub. Co. [1970]
    • 1970
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.291Off-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

  • Logic for mathematicians / J. Barkley Rosser.

    • Text
    • New York : Chelsea Pub. Co., ©1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .R58 1978Off-site

  • Logic Colloquium '77 : proceedings of the colloquium held in Wrocław, August 1977 / edited by Angus Macintyre, Leszek Pacholski, Jeff Paris.

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

  • Einführung in die philosophischen Grundlagen der Mathematik.

    • Text
    • [Hannover] Schroedel; [Paderborn] Schöningh [1968]
    • 1968
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .F764Off-site

  • Logic for mathematicians / A.G. Hamilton.

    • Text
    • Cambridge [England] ; New York : Cambridge University Press, 1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text QA9 .H298Off-site

  • Éléments de logique mathématique, théorie des modèles, [par] G. Kreisel ... J.L. Krivine.

    • Text
    • Paris, Dunod, 1967.
    • 1967
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.542Off-site

  • Einführung in die mathematische Logik. Klassische Prädikatenlogik.

    • Text
    • Stuttgart, Teubner, 1969.
    • 1969
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.454.2.1969Off-site

  • A relational theory of computing / John G. Sanderson.

    • Text
    • Berlin ; New York : Springer-Verlag, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA76.6 .S262Off-site

  • Superior beings : if they exist, how would we know?: game-theoretic implications of omniscience, omnipotence, immortality, and incomprehensibility / Steven J. Brams.

    • Text
    • New York : Springer-Verlag, ©1983.
    • 1983
    • 1 Item
    FormatCall NumberItem Location
    Text BT130 .B69 1983Off-site

  • Russell's hidden substitutional theory / Gregory Landini.

    • Text
    • New York : Oxford University Press, 1998.
    • 1998
    • 1 Item
    FormatCall NumberItem Location
    Text B1649.R94 L36 1998Off-site

  • Introduction to the basic concepts and problems of modern logic / [by] G. Hasenjaeger. [Translated from the German by E.C.M. Mays].

    • Text
    • Dordrecht-Holland, D. Reidel Pub. Co. [1972]
    • 1972
    • 2 Items
    FormatCall NumberItem Location
    Text 6278.436Off-site
    FormatCall NumberItem Location
    Text BC135 .H33413 1972Off-site

  • A precis of mathematical logic / translated from the French and German editions by Otto Bird.

    • Text
    • Dordrecht, Holland : D. Reidel Pub. Co., [1959]
    • 1959-1959
    • 1 Item
    FormatCall NumberItem Location
    Text 6278.188.11Off-site

  • Symbolic logic [by] Irving M. Copi.

    • Text
    • New York, Macmillan [1965]
    • 1965
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.266.1965Off-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

  • Mathematical logic.

    • Text
    • [Leicester, Eng.] Leicester University Press, 1957.
    • 1957
    • 1 Item
    FormatCall NumberItem Location
    Text 6278.401Off-site

  • Elementare Logik.

    • Text
    • Wien, New York, Springer-Verlag, 1967.
    • 1967
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.551.2Off-site

  • Wo steckt der Fehler? : Mathematische Trugschlüsse und Warnzeichen / gesammelt von W. Lietzmann.

    • Text
    • Leipzig : B.G. Teubner, 1952, ©1950.
    • 1952-1950
    • 1 Item
    FormatCall NumberItem Location
    Text 8108.585.11Off-site

  • Formale Logik.

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

  • Grundzüge der theoretischen Logik / von D. Hilbert und W. Ackermann.

    • Text
    • Berlin : Springer, 1938.
    • 1938
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .H5 1938Off-site

  • Vorlesungen über die algebra der logik : exakte logik / von Ernst Schröder.

    • Text
    • Leipzig : B.G. Teubner, 1890-1905.
    • 1890-1905
    • 3 Items
    FormatCall NumberItem Location
    Text QA265 .S38 v.1Off-site
    FormatCall NumberItem Location
    Text QA265 .S38 v.2,pt.1-2Off-site
    FormatCall NumberItem Location
    Text QA265 .S38 v.3,pt.1Off-site

  • System der formalen und realen Logik, von Dr. Georg Ulrich.

    • Text
    • Berlin, F. Dümmler, 1892.
    • 1892
    • 1 Item
    FormatCall NumberItem Location
    Text 6275.921Off-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

  • Reduktionstheorie des Entscheidungsproblems im Prädikatenkalkül der ersten Stufe.

    • Text
    • Budapest, Verlag der Ungarischen Akademie der Wissenschaften, 1959.
    • 1959
    • 1 Item
    FormatCall NumberItem Location
    Text 8126.8915Off-site

  • Der Satz vom ausgeschlossenen Dritten : Untersuchungen über die Grundlagen der Logik / Franz von Kutschera.

    • Text
    • Berlin ; New York : W. de Gruyter, 1985.
    • 1985
    • 1 Item
    FormatCall NumberItem Location
    Text BC135 .K842Off-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

  • Ontological economy : substitutional quantification and mathematics / Dale Gottlieb.

    • Text
    • Oxford ; New York : Oxford University Press, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text BD331 .G66Off-site

  • Theoretical foundations of computer science / Dino Mandrioli, Carlo Ghezzi.

    • Text
    • New York : Wiley, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text QA39.2 .M336 1987Off-site

  • Levels of abstraction in logic and human action : a theory of discontinuity in the structure of mathematical logic, psychological behaviour, and social organization / editor, Elliott Jaques, with R.O. Gibson and D.J. Isaac.

    • Text
    • London : Heinemann, 1978.
    • 1978
    • 1 Item
    FormatCall NumberItem Location
    Text BF455 .L3897Off-site

  • Questions de forme : logique et proposition analytique de Kant à Carnap / Joëlle Proust.

    • Text
    • Paris : Fayard, ©1986.
    • 1986
    • 1 Item
    FormatCall NumberItem Location
    Text BC38 .P76Off-site

  • Trends in logic : 50 years of Studia logica / edited by Vincent F. Hendricks and Jacek Malinowski.

    • Text
    • Dordrecht ; Boston : Kluwer Academic, ©2003.
    • 2003
    • 1 Item
    FormatCall NumberItem Location
    Text BC15 .T74 2003Off-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

  • The mathematical analysis of logic : being an essay towards a calculus of deductive reasoning = Die mathematische Analyse der Logik : der Versuch eines Kalküls des deduktiven Schliessens / by George Boole ; aus dem Englischen übertragen, kommentiert und mit einem Nachwort und Anhängen versehen von Tilman Bergt.

    • Text
    • Halle/Saale : Hallescher Verlag, 2001.
    • 2001
    • 1 Item
    FormatCall NumberItem Location
    Text BC71 .B63 2001Off-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

  • The New syllogistic / edited by George Englebretsen.

    • Text
    • New York : P. Lang, ©1987.
    • 1987
    • 1 Item
    FormatCall NumberItem Location
    Text BC38 .N48 1987Off-site

  • Computability and logic / George Boolos, Richard Jeffrey.

    • Text
    • Cambridge [England] ; New York : Cambridge University Press, 1980.
    • 1980
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.59 .B66 1980Off-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 Colloquium '86 : proceedings of the colloquium held in Hull, U.K. July 13-19, 1986 / edited by F.R. Drake and J.K. Truss.

    • Text
    • Amsterdam ; New York : North-Holland, ©1988.
    • 1988
    • 1 Item
    FormatCall NumberItem Location
    Text QA9.A1 L63 1986Off-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