Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-46 of 46 results
The logic plurality [by] J. E. J. Altham.
- Text
- London, Methuen, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text JFD 72-3667 Offsite Quantoren, Modalitäten, Paradoxien; Beiträge zur Logik. Hrsg. von Horst Wessel.
- Text
- Berlin, Deutscher Verlag der Wissenschaften, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text JFD 73-7334 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Logic: theory and practice [by] M. K. Rennie [and] R. A. Girle.
- Text
- Brisbane, University of Queensland Press, 1973.
- 1973
- 1 Item
Item details Format Call Number Item Location Text JFE 74-2475 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Completeness, compactness, and undecidability : an introduction to mathematical logic / Alfred B. Manaster.
- Text
- Englewood Cliffs, N.J. : Prentice-Hall, [1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 75-766 Offsite Tableau systems for first order number theory and certain higher order theories / Sue Toledo.
- Text
- Berlin ; New York : Springer-Verlag, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 v. 446-447 Offsite Worlds, times, and selves / A. N. Prior and Kit Fine.
- Text
- London : Duckworth, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JFD 77-6581 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Beginning logic / E. J. Lemmon.
- Text
- Indianapolis : Hackett Pub. Co., c1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JSD 79-446 Offsite Existence and the particular quantifier / Alex Orenstein.
- Text
- Philadelphia : Temple University Press, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text JFD 79-5200 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSM 95-200 no. 718-724, inc. Offsite The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.
- Text
- Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSE 80-934 Offsite Ontological economy : substitutional quantification and mathematics / Dale Gottlieb.
- Text
- Oxford ; New York : Oxford University Press, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JSD 80-685 Offsite Not available - In use until 2024-01-26 - Please for assistance.Game-theoretical semantics : essays on semantics / by Hintikka ... [et al.] ; edited by Esa Saarinen.
- Text
- Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JFD 83-403 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt.
- Text
- Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JFD 83-391 Schwarzman Building - General Research Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Prädikatenlogik ohne gebundene Variablen / Jürgen Bartnick.
- Text
- Frankfurt am Main : P. Lang, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text JFK 72-7 v. 60-62 Offsite Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
- Text
- New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSE 91-1882 Offsite Introduction to HOL : a theorem proving environment for higher order logic / edited by M. J. C. Gordon and T. F. Melham.
- Text
- Cambridge ; New York : Cambridge University Press, 1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1012 Offsite Elements of deductive inference : an introduction to symbolic logic / Joseph Bessie, Stuart Glennan.
- Text
- Belmont, CA : Wadsworth Pub., c2000.
- 2000
- 2 Items
Item details Format Call Number Item Location Text *WSC-1079 Offsite Item details Format Call Number Item Location Text JSE 00-176 [Text] Offsite Prelude to cycle 23 [microform] : the case for a fast-rising, large amplitude cycle / Robert M. Wilson, David H. Hathaway, and Edwin J. Reichmann.
- Text
- [Huntsville, Ala.] : National Aeronautics and Space Administration, Marshall Space Flight Center ; [Springfield, Va. : National Technical Information Service, distributor, 1996]
- 1996
Faire preuve par le chiffre? : le cas des expérimentations aléatoires en économie / Arthur Jatteau ; préface de Gaël Giraud.
- Text
- Paris : Institut de la gestion publique et du developpement économique, [2020]
- 2020-2020
- 1 Item
Item details Format Call Number Item Location Text ReCAP 21-113021 Offsite Logic, form and function : the mechanization of deductive reasoning / J. A. Robinson.
- Text
- New York : North-Holland, [1979], ©1979.
- 1979-1979
- 1 Item
Item details Format Call Number Item Location Text BC177 .R62 1979 Off-site The computational complexity of logical theories / Jeanne Ferrante, Charles W. Rackoff.
- Text
- Berlin ; New York : Springer-Verlag, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA9.35 .F47 Off-site Formal semantics and pragmatics for natural languages / edited by F. Guenthner and S. J. Schmidt.
- Text
- Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text P106 .F66 Off-site Lecţii despre logica raţionamentului nuanţat / Grigore C. Moisil.
- Text
- Bucureşti : Editura ştiinţifică şi enciclopedică, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA9.45 .M64 Off-site Worlds, times, and selves / A. N. Prior and Kit Fine.
- Text
- London : Duckworth, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text BC199.M6P73 Off-site Technical methods in philosophy / John L. Pollock.
- Text
- Boulder : Westview Press, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text BC135 .P683 1990 Off-site Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
- Text
- New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA9.35 .D55 1990 Off-site Quantoren, Modalitäten, Paradoxien ; Beiträge zur Logik / Hrsg. von Horst Wessel.
- Text
- Berlin : Deutscher Verlag der Wissenschaften, 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text BC135 .W42 Off-site El desarrollo de la teoría de la cuantificación / Jean Van Heijenoort.
- Text
- México : Dirección General de Publicaciones, Universidad Autónoma de México, 1976, ©1975.
- 1976-1975
- 1 Item
Item details Format Call Number Item Location Text QA9.35 .V28 1976 Off-site Existence and the particular quantifier / Alex Orenstein.
- Text
- Philadelphia : Temple University Press, 1978.
- 1978
- 1 Item
Item details Format Call Number Item Location Text BC57 .O73 Off-site Klassische und nichtklassische Aussagenlogik / Wolfgang Rautenberg.
- Text
- Braunschweig ; Wiesbaden : Vieweg, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA9.35 .R27 x Off-site Game-theoretical semantics : essays on semantics / by Hintikka ... [et al.] ; edited by Esa Saarinen.
- Text
- Dordrecht, Holland ; Boston : D. Reidel Pub. Co., c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text P325.5.M36 G36 1979 Off-site Büchi's monadic second order successor arithmetic.
- Text
- Berlin, New York, Springer-Verlag, 1970.
- 1970
- 1 Item
Item details Format Call Number Item Location Text QA3 .L28 no. 120 Off-site The logic of plurality [by] J. E. J. Altham.
- Text
- London, Methuen, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text BC135 .A53 1971 Off-site Dve interpretat︠s︡ii logicheskikh sistem / V. V. T︠S︡elishchev, A. V. Bessonov.
- Text
- Novosibirsk : Nauka, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text BC51 .T75 Off-site Logic : form and function : the mechanization of deductive reasoning / J. A. Robinson.
- Text
- Edinburgh : University Press, c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text BC199.F6 .R62 Off-site Problems of program validation in the context of the predicate calculus.
- Text
- 1972.
- 1972
- 1 Item
Item details Format Call Number Item Location Text PRIN 685 1972 .604 Off-site The decision problem : solvable classes of quantificational formulas / Burton Dreben, Warren D. Goldfarb.
- Text
- Reading, Mass. : Addison-Wesley, Advanced Book Program, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text QA9.35.D73 Off-site Klasyczny rachunek kwantyfikatorów : Zarys teorii / Witold A. Pogorzelski.
- Text
- Warszawa : Państwowe Wydawnictwo Naukowe, 1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text QA9.35.P63 Off-site Ontological economy : substitutional quantification and mathematics / Dale Gottlieb.
- Text
- [Oxford] ; New York : Oxford University Press, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text BD331 .G66 Off-site Normalformen aufzählbarer Prädikate / vorgelegt von Michael Deusch.
- Text
- Münster : M. Deutsch, 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text QA9.35 .D4 1968q Off-site Prädikatenlogik ohne gebundene Variablen / Jürgen Bartnick.
- Text
- Frankfurt am Main : P. Lang, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text QA9.35 B32 Off-site The logic of plurality [by] J.E.J. Altham.
- Text
- London, Methuen, 1971.
- 1971
- 1 Item
Item details Format Call Number Item Location Text BC135 .A53 1971 Off-site Dve interpretat︠s︡ii logicheskikh sistem / V. V. T︠S︡elishchev, A. V. Bessonov.
- Text
- Novosibirsk : Nauka, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text BC51 .T75 Off-site Logic : form and function : the mechanization of deductive reasoning / J. A. Robinson.
- Text
- Edinburgh : University Press, c1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text BC199.F6 .R62 Off-site Ontological economy : substitutional quantification and mathematics / Dale Gottlieb.
- Text
- Oxford ; New York : Oxford University Press, 1980.
- 1980
- 1 Item
Item details Format Call Number Item Location Text BD331 .G66 Off-site Normalformen aufzählbarer Prädikate / vorgelegt von Michael Deusch.
- Text
- Münster : M. Deutsch, 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text QA9.35 .D4 1968q Oversize 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.
