Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-50 of 81 results
Logic in algebraic form. Three languages and theories.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 75-240 Offsite An algebraic approach to non-classical logics.
- Text
- Amsterdam, North-Holland Pub. Co.; New York, American Elsevier Pub. Co., 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text JSD 75-617 Offsite An algebraic introduction to mathematical logic / D. W. Barnes, J. M. Mack.
- Text
- New York : Springer-Verlag, [1975]
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSE 75-1817 Offsite Boole's logic and probability : a critical exposition from the standpoint of contemporary algebra, logic, and probability theory / Theodore Hailperin.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : sole distributors for the U. S. A. and Canada American Elsevier Pub. Co., 1976.
- 1976
- 1 Item
Item details Format Call Number Item Location Text JSD 79-267 Offsite Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
- 1 Item
Item details Format Call Number Item Location Text JSF 89-349 Offsite Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 90-721 Offsite Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
- 1 Item
Item details Format Call Number Item Location Text JSF 91-67 Offsite A Peircean reduction thesis : the foundations of topological logic / Robert W. Burch.
- Text
- Lubbock, Tex. : Texas Tech University Press, c1991.
- 1991
- 1 Item
Item details Format Call Number Item Location Text JFF 92-1113 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.
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1992.
- 1992
- 1 Item
Item details Format Call Number Item Location Text JSF 92-940 Offsite Algebraic methods in logic and in computer science / editor of the volume, Cecylia Rauszer.
- Text
- Warszawa : Institute of Mathematics, Polish Academy of Sciences, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 93-1826 Offsite Filosofia delle strutture / Luca Vercelloni.
- Text
- Firenze : La Nuova Italia editrice, 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JFE 94-58 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.
Algebraic and logic programming : 4th international conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text JSE 94-1995 Offsite Logic and algebra / edited by Aldo Ursini, Paolo Aglianò.
- Text
- New York : Marcel Dekker, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSF 96-485 Offsite Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds.
- Text
- Berlin ; New York : Springer, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1569 Offsite Sentential probability logic : origins, development, current status, and technical applications / Theodore Hailperin.
- Text
- Bethlehem [Pa.] : Lehigh University Press ; London : Associated University Presses, c1996.
- 1996
- 1 Item
Item details Format Call Number Item Location Text JSE 96-1668 Offsite Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text JSE 97-1239 Offsite Algebraic logic.
- Text
- New York, Chelsea Pub. Co. [1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text OGS (Halmos, P. R. Algebraic logic) Offsite CafeOBJ report : the language, proof techniques, and methodologies for object-oriented algebraic specification / Răzvan Diaconescu, Kokichi Futatsugi.
- Text
- Singapore : World Scientific, c1998.
- 1998
- 1 Item
Item details Format Call Number Item Location Text JSD 00-3 Offsite Rudiments of [mu]-calculus / A. Arnold, D. Niwinski.
- Text
- Amsterdam ; New York : Elsevier, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 01-1426 Offsite Algebraic methods in philosophical logic / J.Michael Dunn and Gary M. Hardegree.
- Text
- Oxford ; New York : Oxford University Press, 2001.
- 2001
- 1 Item
Item details Format Call Number Item Location Text JSE 03-575 Offsite Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).
- Text
- Berlin : London : Springer, c2004.
- 2004
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=3051Item details Format Call Number Item Location Text JSE 04-1393 Offsite Algebraic logic / S.G. Gindikin ; translated by Robert H. Silverman.
- Text
- New York : Springer-Verlag, c1985.
- 1985
- 1 Item
Item details Format Call Number Item Location Text JSE 86-121 Offsite Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey / A. Ashikhmin, A. Barg, editors.
- Text
- Providence, R.I. : American Mathematical Society, c2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text JSF 06-139 Offsite Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1990.
- 1990
Algebraic and logic programming : international workshop, Gaussig, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.).
- Text
- Berlin ; New York : Springer-Verlag, c1988.
- 1988
Algebra and logic [electronic resource].
- Text
- [New York, N.Y.] : Plenum Pub.
- 1968-present
- 2 Resources
Available Online
See All Available Online Resources
Algebraic approach to tense operators / Ivan Chajda, Jan Paseka.
- Text
- Lemgo, Germany : Heldermann Verlag, [2015]
- 2015
- 1 Item
Item details Format Call Number Item Location Text JFF 23-389 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.
A general algebraic semantics for sentential logics [electronic resource] / Josep Maria Font, Ramon Jansana.
- Text
- Cambridge : Cambridge University Press, 2016.
- 2016-
- 2 Resources
Available Online
See All Available Online Resources
Algebraic and logic programming : third international conference, Volterra, Italy, September 2-4, 1992 : proceedings / H. Kirchner, G. Levi, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1992], ©1992.
- 1992-1992
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .A5842 1992 Off-site Algebraic and logic programming : 4th international confernence, ALP '94, Madrid, Spain, September 1994 : proceedings / Giorgio Levi, Mario Rodríguez Artalejo, eds.
- Text
- Berlin ; New York : Springer-Verlag, 1994.
- 1994
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .A45843 1994 Off-site Studies in algebraic logic / Aubert Daigneault, editor.
- Text
- [Washington] : Mathematical Association of America, [1974]
- 1974
- 1 Item
Item details Format Call Number Item Location Text QA10 .S78 Off-site Algebraic logic.
- Text
- New York : Chelsea Pub. Co., [1962]
- 1962
- 1 Item
Item details Format Call Number Item Location Text QA266 .H3 Off-site Universal algebra, algebraic logic, and databases / by B. Plotkin.
- Text
- Dordrecht ; Boston : Kluwer Academic Publishers, [1994], ©1994.
- 1994-1994
- 1 Item
Item details Format Call Number Item Location Text QA251 .P6213 1994 Off-site Algebraic and logic programming : 5th international confernence, ALP '96, Aachen, Germany, September 25-27, 1996 : proceedings / Michael Hanus, Mario Rodríguez-Artalejo, eds.
- Text
- Berlin ; New York : Springer, [1996], ©1996.
- 1996-1996
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A36 1996 Off-site Algebraic and logic programming : 6th international joint conference, ALP '97-HOA '97, Southampton, UK. September 3-5, 1997 : proceedings / Michael Hanus, Jan Heering, Karl Meinke, eds.
- Text
- New York : Springer-Verlag, 1997.
- 1997
- 1 Item
Item details Format Call Number Item Location Text QA76.63 .A335 1997 Off-site Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers / Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).
- Text
- 2004
- 1 Item
Item details Format Call Number Item Location Text QA10 .I58 2003g Off-site Coherent systems / Karl Schlechta.
- Text
- Amsterdam ; Boston : Elsevier, 2004.
- 2004
- 1 Item
Item details Format Call Number Item Location Text Q339.2 .S35 2004 Off-site Algebraic coding theory and information theory : DIMACS workshop, algebraic coding theory and information theory, December 15-18, 2003, Rutgers University, Piscataway, New Jersey / A. Ashikhmin, A. Barg, editors.
- Text
- Providence, R.I. : American Mathematical Society, [2005], ©2005.
- 2005-2005
- 1 Item
Item details Format Call Number Item Location Text QA10.4 .A44 2005 Off-site Relations and Kleene algebra in computer science : 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings / Renate A. Schmidt (ed.).
- Text
- Berlin ; New York : Springer, [2006], ©2006.
- 2006-2006
- 1 Item
Item details Format Call Number Item Location Text QA10 .I58 2006 Off-site Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.).
- Text
- Berlin ; New York : Springer, [2008], ©2008.
- 2008-2008
- 1 Item
Available Online
http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=4988Item details Format Call Number Item Location Text QA10 .I58 2008g Off-site Algebraic and logic programming : international workshop, Gaussing, GDR, November 14-18, 1988 : proceedings / J. Grabowski, P. Lescanne, W. Wechler (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1988], ©1988.
- 1988-1988
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .A4583 1988 Off-site Algebraic logic and universal algebra in computer science : conference, Ames, Iowa, USA, June 1-4, 1988 : proceedings / C.H. Bergman, R.D. Maddux, D.L. Pigozzi (eds.).
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA10 .A44 1990g Off-site Algebraic and logic programming : second international conference, Nancy, France, October 1-3, 1990 : proceedings / H. Kirchner, W. Wechler, eds.
- Text
- Berlin ; New York : Springer-Verlag, [1990], ©1990.
- 1990-1990
- 1 Item
Item details Format Call Number Item Location Text QA76.6 .A4584 1990 Off-site Algebras of logic as BCK algebras / Afrodita Iorgulescu.
- Text
- Bucharest : Editura ASE, 2008.
- 2008
- 1 Item
Item details Format Call Number Item Location Text QA10 .I65 2008 Off-site Sur quelques algebres de la logique / Horacio Porta.
- Text
- Buenos Aires : Consejo Nacional de Investigaciones Cientificas y Tecnicas, Instituto Argentino de Matemática, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA10 .P67 1983 Off-site B-mathematics / by Nils Aall Barricelli.
- Text
- Oslo, Norway : Blindern Theoretic Research Team, 1983.
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA10 .B37 1983 Off-site Challenge to Gödel's proof / by Nils Aall Barricelli.
- Text
- Oslo, Norway : Blindern Theoretic Research Team, [1983].
- 1983
- 1 Item
Item details Format Call Number Item Location Text QA9.65 .B37 1983 Off-site Metody algebry logiki v matematicheskoĭ fizike / V. L. Rvachev.
- Text
- Kiev : Nauk. Dumka, 1974.
- 1974
- 1 Item
Item details Format Call Number Item Location Text QC20.7.A4 R88 Off-site Diskretnai︠a︡ matematika i matematicheskie voprosy kibernetiki / [IU︠.︡ L. Vasilʹev ... et al.] ; pod obsh. ped. S. V. I︠A︡blonskogo i O. B. Lupanova.
- Text
- Moskva : Nauka, 1974.
- 1974-present
- 1 Item
Item details Format Call Number Item Location Text QA10 .D57 v.1 Off-site The theory of indistinguishables : a search for explanatory principles below the level of physics / A.F. Parker-Rhodes.
- Text
- Dordrecht, Holland ; Boston : D. Reidel Pub. Co. ; Hingham, MA : Sold and distributed in the U.S.A. and Canada by Kluwer Boston, c1981.
- 1981
- 1 Item
Item details Format Call Number Item Location Text QC20.7.A4 P37 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.
Explore Digital Research Books Beta