Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 67 results
A mathematical introduction to logic / Herbert B. Enderton.
- Text
- San Diego, Calif. : Academic Press, [2001], ©2001.
- 2001-2001
- 1 Item
Available Online
See All Available Online Resources
Item details Format Call Number Item Location Text QA9 .E54 2001 Off-site The logic of programming / Eric C.R. Hehner.
- Text
- Englewood Cliffs, N.J. : Prentice/Hall International, [1984], ©1984.
- 1984-1984
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .H427 1984 Off-site Logique et mathématique chez Bernard Bolzano / Jan Sebestik.
- Text
- Paris : Librairie philosophique J. Vrin, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text BC135 .S42 1992g Off-site Symbolic logic and mechanical theorem proving / [by] Chin-liang Chang [and] Richard Char-Tung Lee.
- Text
- New York : Academic Press, [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA9 .C49 Off-site Logique mathématique : textes.
- Text
- Paris : A. Colin, [1972]
- 1972
- 1 Item
Item details Format Call Number Item Location Text QA9 .L357 Off-site Logik-Texte : kommentierte Auswahl zur Geschichte der modernen Logik / Karel Berka, Lothar Kreiser ; unter Mitarbeit von Siegfried Gottwald und Werner Stelzner.
- Text
- Berlin : Akademie-Verlag, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text BC38 .L63 1983 Off-site Frege und die moderne Grundlagenforschung : Symposium, gehalten in Bad Homburg im Dezember 1973 / hrsg. von Christian Thiel.
- Text
- Meisenheim am Glan : Hain, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text BD163 .S88 Bd.9 Off-site Foundations of the logical theory of scientific knowledge (complex logic) / [By] A. A. Zinovʹev. [Translated from the Russian by T. J. Blakeley]. Appendix by G. A. Smirnov, E. A. Sidorenko, A. M. Fedina and L. A. Pobrova.
- Text
- Dordrecht : Reidel, [1973]
- 1973
- 1 Item
Item details Format Call Number Item Location Text Q175 .B656 v.9 Off-site Logic and Boolean algebra / by Kathleen Levitz, Hilbert Levitz.
- Text
- Woodbury, N.Y. : Barron's Educational Series, c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA9 .L47 Off-site Les assises logiques et épistémologiques du progrès scientifique : structures et téléonomies dans une logique des savoirs évolutifs / Noël Mouloud ; préface de Gérard Simon.
- Text
- [Villeneuve-d'Ascq, France] : Presses universitaires de Lille, [1989]
- 1989
- 1 Item
Item details Format Call Number Item Location Text Q175 .M8767 1989 Off-site Symbolic logic : an introductory textbook for non-mathematicians / Harold Newton Lee.
- Text
- London : Routledge & Kegan Paul, 1962.
- 1962
- 1 Item
Item details Format Call Number Item Location Text 164 L51 Off-site L'antinomia del mentitore nel pensiero contemporaneo da Peirce a Tarski: studi, testi, bibliografia.
- Text
- 1961
- 1 Item
Item details Format Call Number Item Location Text 106 M5891 v.5 Off-site Grundläggande logik / Kaj. B. Hansen.
- Text
- Lund : Studentlitteratur, ©1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text BC78.S94 H36 1997 Off-site Logicismens linjer / Anders Lundahl.
- Text
- Nora : Nya Doxa, 1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA9 .L86 1996 Off-site Logisch-philosophische Aghandlung : Tractatus logico-philosophicus / Ludwig Wittgenstein.
- Text
- Frankfurt am Main : Suhrkamp, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text B3376.W563 T73 1998 Off-site Tractatus logico-philosophicus = Logische-philosophische Abhandlung / Ludwig Wittgenstein.
- Text
- Frankfurt am Main : Suhrkamp, 1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text B3376.W563 T73 1999 Off-site ha-Mavokh ha-madhim shel ḥidot ṿe-etgare ḥashivah / ʻarakh Shelomoh Abas ; iyer, Ami Rubinger.
- Text
- Hod ha-sharon : ʻAgur, 2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text Heb 42710.479 Off-site Logica e filosofia della logica : studi su Boole e Peirce / Maurizio Ferriani.
- Text
- Bologna : CLUEB, ©1999.
- 1999
- 1 Item
Item details Format Call Number Item Location Text QA9 .F47 1999 Off-site Logica matematica : strutture, rappresentazioni, deduzioni / Vincenzo Manca ; con un saggio di Gregory Chaitin.
- Text
- Torino : Bollati Boringhieri, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text QA9 .M36 2001 Off-site Dualities for structures of applied logics / Ewa Orłowska, Anna Maria Radzikowska and Ingrid Rewitzky.
- Text
- [London] : College Publications, [2015]
- 2015
- 1 Item
Item details Format Call Number Item Location Text QA10.3 .O75 2015 Off-site Elementary logic with applications: a procedural perspective for computer scientists / D.M. Gabbay, O.T. Rodrigues.
- Text
- London : College Publications, [2016]
- 2016-2016
- 1 Item
Item details Format Call Number Item Location Text Off-site Logico-philosophical studies / edited by Albert Menne [partly translated by Horace S. Glover].
- Text
- Dordrecht, Holland, D. Reidel Pub. Co. [1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text BC6 .M413 1962 Off-site Regeln zur Leitung des Geistes : Die Erforschung der Wahrheit durch das natürliche Licht / René Descartes ; übersetzt und herausgegeben von Artur Buchenau ...
- Text
- Leipzig : F. Meiner, 1920.
- 1920
- 1 Item
Item details Format Call Number Item Location Text B1838 .B834 1966 Off-site A profile of mathematical logic.
- Text
- Reading, Mass., Addison-Wesley Pub. Co. [1970]
- 1970
- 1 Item
Item details Format Call Number Item Location Text 8126.291 Off-site Les techniques binaires et le traitement de l'information, par H. Soubies-Camy. Préf. de P. Naslin.
- Text
- Paris, Dunod, 1966.
- 1966
- 1 Item
Item details Format Call Number Item Location Text 8147.866.1966 Off-site Comprendre la logique moderne.
- Text
- Paris, Dunod [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text BC135 .C446 1974 Off-site Aktualni metodologicheski problemi na matematicheskata logika : [Monogr.] / Bogdan Di︠a︡nkov ; Blgarska akademii︠a︡ na naukite, Institut po filosofii︠a︡.
- Text
- Sofia : BAN, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text QA9 .D49 Off-site Logic for mathematicians / A.G. Hamilton.
- Text
- Cambridge [England] ; New York : Cambridge University Press, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA9 .H298 Off-site Algorifm mashinnogo poiska estestvennogo logicheskogo vyvoda v ischislenii vyskazyvaniĭ / N.A. Shanin.
- Text
- Leningrad : Nauka (Leningradskoe otd-nie), 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text QA76 .S48 Off-site Studies in foundations and combinatorics / edited by Gian-Carlo Rota.
- Text
- New York : Academic Press, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text QA164.S85 Off-site Modal logics. Edited with some complements by Joseph Dopp.
- Text
- Louvain, E. Nauwelaerts, 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text BC199.M6 F497 1965 Off-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
Item details Format Call Number Item Location Text 8126.542 Off-site Elementary logic, by Willard Van Orman Quine.
- Text
- Boston, New York, Ginn and Company [©1941]
- 1941
- 1 Item
Item details Format Call Number Item Location Text 8126.743.2 Off-site Symbolic logic, by John Venn.
- Text
- London, Macmillan, 1881.
- 1881
- 3 Items
Item details Format Call Number Item Location Text BC135 .V466 1881 Off-site Item details Format Call Number Item Location Text BC135 .V466 1881 Off-site Item details Format Call Number Item Location Text 6278.932 Off-site Grundzüge der mathematischen Logik, von Heinrich Scholz und Gisbert Hasenjaeger.
- Text
- Berlin, Springer, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text QA9 .S36 Off-site Russell's hidden substitutional theory / Gregory Landini.
- Text
- New York : Oxford University Press, 1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text B1649.R94 L36 1998 Off-site Symbolic logic [by] Irving M. Copi.
- Text
- New York, Macmillan [1968, ©1967]
- 1968-1967
- 1 Item
Item details Format Call Number Item Location Text 8126.266.1969 Off-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
Item details Format Call Number Item Location Text BC135 .H33413 1972 Off-site Item details Format Call Number Item Location Text 6278.436 Off-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
Item details Format Call Number Item Location Text 6278.188.11 Off-site Formal methods : an introduction to symbolic logic and to the study of effective operations in arithmetic and logic / Evert W. Beth.
- Text
- Dordrecht : D. Reidel Publishing Company, [1962]
- 1962-1962
- 1 Item
Item details Format Call Number Item Location Text 8126.175 Off-site Logique, sémantique, métamathématique, 1923-1944.
- Text
- Paris, A. Colin, 1972-
- 1972
- 1 Item
Item details Format Call Number Item Location Text 6278.895 v. 1 Off-site The logic of discovery, by R.D. Carmichael.
- Text
- Chicago, London, Open Court Pub. Co., 1930.
- 1930
- 1 Item
Item details Format Call Number Item Location Text 8105.237 Off-site Les méthodes formelles en axiomatique, Paris, décembre 1950.
- Text
- Paris, [En] vente au Service des publications du Centre National de la recherche scientifique, 1953.
- 1953
- 1 Item
Item details Format Call Number Item Location Text QA9 .F67 Off-site Les fondements logiques des mathématiques.
- Text
- Paris, Gauthier-Villars, 1950.
- 1950
- 1 Item
Item details Format Call Number Item Location Text 8105.175 Off-site L'algèbre de la logique / par Louis Couturat.
- Text
- [Place of publication not identified] : [publisher not identified], 1905.
- 1905
- 1 Item
Item details Format Call Number Item Location Text QA265 .C86 Off-site Mnogoznachnye ėlementy i struktury. Pod red. V.P. Sigorskogo.
- Text
- Moskva, Sov. radio, 1967.
- 1967
- 1 Item
Item details Format Call Number Item Location Text 8381.858.1966 Off-site Matematicheskai︠a︡ nepreryvnai︠a︡ logika i izobrazhenie funkt︠s︡iĭ.
- Text
- Moskva : "Energii︠a︡, ", 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text 81075.393 Off-site Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas.
- Text
- New York : Springer-Verlag, ©1984.
- 1984
- 1 Item
Item details Format Call Number Item Location Text QA9 .E2213 1984 Off-site Logicheskie osnovy t︠s︡ifrovykh mashin i programmirovanii︠a︡ / A.A. Papernov.
- Text
- Moskva : Izd-vo "Nauka, " Glav. red. fiziko-matematicheskoĭ lit-ry, 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text 81075.697 Off-site Filosofía de las matemáticas / Darío Maravall Casesnoves.
- Text
- Madrid : Editorial Dossat, 1961.
- 1961
- 1 Item
Item details Format Call Number Item Location Text 8105.614 Off-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.
