Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-48 of 48 results
Non-classical logics, model theory, and computability : proceedings of the Third Latin-American Symposium on Mathematical Logic, Campinas, Brazil, July 11-17, 1976 / edited by A. I. Arruda, N. C. A. da Costa, R. Chuaqui.
- Text
- Amsterdam ; New York : North-Holland Pub. Co. ; New York : distributors for the U. S.A. and Canada, Elsevier/North-Holland, 1977.
- 1977
- 1 Item
Item details Format Call Number Item Location Text JSD 78-304 Offsite Introduction à la sémantique des logiques non-classiques / par Jean Van Heijenoort.
- Text
- Paris : J. Van Heijenoort, 1979.
- 1979
- 1 Item
Item details Format Call Number Item Location Text JSG 81-11 Offsite Non-classical logics and their applications to fuzzy subsets : a handbook of the mathematical foundations of fuzzy set theory / edited by Ulrich Höhle and Erich Peter Klement.
- Text
- Dordrecht ; Boston : Kluwr Academic Publishers, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1671 Offsite Entwicklungstendenzen nichtklassischer Logiken und Probleme ihrer Geschichtsschreibung / herausgegeben von Günter Schenk und Horst Wessel.
- Text
- Halle, Saale : Abt. Wissenschaftspublizistik der Martin-Luther-Universität Halle-Wittenberg, 1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JFD 88-4649 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.
Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie and Robert K. Meyer.
- Text
- London : Pitman ; New York : Wiley, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSE 88-1231 Offsite Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JSF 91-418 Offsite Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 93-282 Offsite Nichtklassische Logik : eine Einführung / herausgegeben von Lothar Kreiser, Siegfried Gottwald, Werner Stelzner ; [Autorenkollektiv, Siegfried Gottwald ... et al.].
- Text
- Berlin : Akademie-Verlag, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JFD 95-6016 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
- Text
- Berlin : New York : Springer, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text JSE 95-1150 Offsite Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17th, 1996 : proceedings / P. Miglioli ... [et al.], eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1318 Offsite Contraddizione ed incompletezza / Nicola Grana.
- Text
- Napoli : Liguori, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JFD 96-24836 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Labelled non-classical logics / by Luca Vigano.
- Text
- Boston ; London : Kluwer Academic Publishers, c2000.
- 2000
- 1 Item
Item details Format Call Number Item Location Text JSE 00-642 Offsite Logical options : an introduction to classical and alternative logics / John L. Bell, David DeVidi, and Graham Solomon.
- Text
- Peterborough, Ont. : Broadview Press, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JFE 02-5618 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Real existence, ideal necessity : Kant's compromise, and the modalities without the compromise / Robert Greenberg.
- Text
- New York ; Berlin : Walter de Gruyter, c2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text JFE 08-8068 Schwarzman Building - Main Reading Room 315 Available - Can be used on site. Please visit New York Public Library - Schwarzman Building to submit a request in person.
Three views of logic [electronic resource] : mathematics, philosophy, and computer science / Donald W. Loveland, Richard E. Hodel, S.G. Sterrett.
- Text
- Princeton, New Jersey : Princeton University Press, [2014]
- 2014-2014
- 2 Resources
Available Online
See All Available Online Resources
Nonclassical logics and information processing : international workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
- Text
- Berlin ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .N6 1992g Off-site Many-sorted logic and its applications / edited by K. Meinke and J. V. Tucker.
- Text
- Chichester ; New York : J. Wiley, [1993], ©1993.
- 1993-1993
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .M36 1993g Off-site Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
- Text
- Berlin ; New York : Springer, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 T43 1995g Off-site Filosofskite predizvikatelstva na neklasicheskata logika / Martin Tabakov
- Text
- Sofii︠a︡ : Institut po filosofii︠a︡ i sot︠s︡iologii︠a︡--BAN, 2021
- 2021
- 1 Item
Item details Format Call Number Item Location Text BC135 .T23 2021g Off-site Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17th, 1996 : proceedings / P. Miglioli [and others], eds.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 T33 1996 Off-site Algebraic and proof-theoretic aspects of non-classical logics : papers in honor of Daniele Mundici on the occasion of his 60th birthday / Stefano Aguzzoli [and others] (eds.).
- Text
- Berlin ; New York : Springer, [2007], ©2007.
- 2007-2007
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4460Item details Format Call Number Item Location Text QA9.4 .A44 2007g Off-site Automated theorem-proving in non-classical logics / Paul B. Thistlewaite, Michael A. McRobbie, and Robert K. Meyer.
- Text
- London : Pitman ; New York : Wiley, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 T48 1988 Off-site Real existence, ideal necessity : Kant's compromise, and the modalities without the compromise / Robert Greenberg.
- Text
- Berlin ; New York : Walter de Gruyter, [2008], ©2008.
- 2008-2008
- 1 Item
Item details Format Call Number Item Location Text B2750 .K13 no.157 Off-site Contraddizione ed incompletezza / Nicola Grana.
- Text
- Napoli : Liguori, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA9.45 G73 1990g Off-site Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.).
- Text
- Berlin ; New York : Springer-Verlag, [1991], ©1991.
- 1991-1991
- 1 Item
Item details Format Call Number Item Location Text Q334 .E985 1990 Off-site Nichtklassische Logik : eine Einführung / herausgegeben von Lothar Kreiser, Siegfried Gottwald, Werner Stelzner ; [Autorenkollektiv, Siegfried Gottwald ... et al.].
- Text
- Berlin : Akademie-Verlag, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .N53x 1988 Off-site Issledovanii︠a︡ po teorii mnozhestv i neklassicheskim logikam / [Otv. red. D. A. Bochvar, V. N. Grishin] ; AN SSSR VINITI.
- Text
- Moskva : Nauka, 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text QA248 .I93 Off-site Issledovaniia po neklassicheskim logikam : VI Sovetsko-finskii kollokvium / otvetstvennyi redaktor V.A. Smirnov.
- Text
- Moskva : Nauka , 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text BC135 .S69 1989 Off-site Nikolaĭ Aleksandrovich Vasilʹev, 1880-1940 / V.A. Bazhanov ; otvetstvennye redaktory B.L. Laptev, I.I. Mochalov.
- Text
- Moskva : Nauka, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA29.V38 N45 1988 Off-site Filosofskie osnovaniia neklassicheskikh logik : trudy nauchno-issledovatelʹskogo seminara po logike Instituta filosofii AN SSSR / otv. red. V.A. Smirnov.
- Text
- Moskva : In-t filosofii AN SSSR, 1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .F55 1990 Off-site Instantial logic : an investigation into reasoning with instances / W.P.M. Meyer Viol.
- Text
- Utrecht : LEd, c1995.
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .M49 1995x Off-site Non-classical logic, ethics & philosophy of mind / [edited by Matjaž Potrč].
- Text
- Dettelbach : J.H. Röll, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text B20.6 .N66 1996x Off-site Quantification in nonclassical logic / D.M. Gabbay, V.B. Shehtman, D.P. Skvortsov.
- Text
- Amsterdam ; London : Elsevier, 2009-
- 2009-present
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .G222 2009 Off-site Not available - Please for assistance.Logiques non-standard / Gérard Chazal.
- Text
- [Dijon] : Editions universitaires de Dijon, [2009]
- 2009
Trends in belief revision and argumentation dynamics / edited by Eduardo L. Fermé, Dov M. Gabbay and Guillermo R. Simari.
- Text
- London : College Publications, 2013.
- 2013
- 1 Item
Item details Format Call Number Item Location Text QA9.A1 Off-site Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17, 1996 : proceedings / P. Miglioli ... [et al.], eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 T33 1996 Off-site Issledovanii︠a︡ po neklassicheskim logikam i formalʹnym sistemam / Gosudarstvennyĭ komitet Soveta Ministrov SSSR po nauke i tekhnike, Akademii︠a︡ nauk SSSR [i] Vsesoi︠u︡znyĭ institut nauchnoĭ ĭ tekhnicheskoĭ informat︠s︡ii ; [otv. redaktor A.I. Mikhaĭlov].
- Text
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .I77 Off-site Nichtklassische Logik : eine Einführung / herausgegeben von Lothar Kreiser, Siegfried Gottwald, Werner Stelzner ; [Autorenkollektiv, Siegfried Gottwald ... et al.].
- Text
- Berlin : Akademie-Verlag, 1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text QA9.4 .N53x 1988 Off-site Issledovanii︠a︡ po neklassicheskim logikam : (VI Sovetsko-finskiĭ kollokvium) / otvetstvennyĭ redaktor, V.A. Smirnov ; [red. kollegii︠a︡, A.M. Anisov ... et al.].
- Text
- 1989
- 1 Item
Item details Format Call Number Item Location Text BC135 .S68 1985 Off-site Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.).
- Text
- Berlin ; New York : Springer-Verlag, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text Q334 .E985 1990 Off-site Nonclassical logics and information processing : International Workshop, Berlin, Germany, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing (eds.)
- Text
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63.N662 1992 Off-site Theorem proving with analytic tableaux and related methods : 5th international workshop, TABLEAUX '96, Terrasini, Palermo, Italy, 15-17, 1996 : proceedings / P. Miglioli ... [et al.], eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 T33 1996 Off-site The age of alternative logics : assessing philosophy of logic and mathematics today / edited by Johan van Benthem [and others].
- Text
- Dordrecht : Springer, 2006.
- 2006
- 1 Item
Item details Format Call Number Item Location Text BC135 .A39 2006 Off-site Issledovanii︠a︡ po neklassicheskim logikam : (VI Sovetsko-finskiĭ kollokvium) / otvetstvennyĭ redaktor, V.A. Smirnov ; [red. kollegii︠a︡, A.M. Anisov and others].
- Text
- Moskva : "Nauka", 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text BC135 .S68 1985 Off-site Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings / J. van Eijck (ed.).
- Text
- Berlin ; New York : Springer-Verlag, ©1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text Q334 .E985 1990 Off-site Theorem proving with analytic tableaux and related methods : 4th international workshop, TABLEAUX '95, Schloss Rheinfels, St. Goar, Germany, May 7-10, 1995 : proceedings / Peter Baumgartner, Reiner Hähnle, Joachim Posegga (eds.)
- Text
- 1995
- 1 Item
Item details Format Call Number Item Location Text QA76.9.A96 T437 1995 Off-site La logique interne / par Yvon Gauthier.
- Text
- Paris : Vrin, 1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text BC135 .G36 1991 Off-site Nonclassical logics and information processing : international workshop, Berlin, November 9-10, 1990 : proceedings / D. Pearce, H. Wansing, eds.
- Text
- Berlin ; New York : Springer, 1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .N662 1992 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.
