Research Catalog
New! Try our Article Search to discover online journals, books, and more from home with your library card.
Displaying 1-24 of 24 results for author "Association for Symbolic Logic."
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / ed. by H. E. Rose and J. C. Shepherdson.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text JSD 76-268 Offsite Logic Colloquium '88 : proceedings of the Colloquium held in Padova, Italy, August 22-31, 1988 / edited by R. Ferro ... [et al.].
- Text
- Amsterdam ; New York : North-Holland ; New York, N.Y. : Distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1989.
- 1989
- 1 Item
Item details Format Call Number Item Location Text JSD 92-72 Offsite The Journal of symbolic logic.
- Text
- Pasadena, CA [etc.] Association for Symbolic Logic.
- 1936-present
- 103 Items
Available Online
http://www.jstor.org/journals/00224812.htmlItem details Format Call Number Item Location Text YAA (Journal of symbolic logic) v. 76, no. 4 (Dec. 2011) Offsite Item details Format Call Number Item Location Text YAA (Journal of symbolic logic) v. 77, no. 1 (Mar. 2012) Offsite Item details Format Call Number Item Location Text YAA (Journal of symbolic logic) v. 77, no. 2 (June 2012) Offsite Proceedings / Symposium on Logic in Computer Science.
- Text
- Washington, D.C. : IEEE Computer Society Press, 1986-
- 1986-present
- 17 Items
Item details Format Call Number Item Location Text JSP 92-265 2003 v. 18 Offsite Item details Format Call Number Item Location Text JSP 92-265 2004 v. 19 Offsite Item details Format Call Number Item Location Text JSP 92-265 2005 v. 20 Offsite Logic Colloquium '90 : ASL Summer Meeting in Helsinski / J. Oikkonen, J. Väänänen, eds.
- Text
- Berlin ; New York : Springer-Verlag, c1993.
- 1993
- 1 Item
Item details Format Call Number Item Location Text JSE 95-687 Offsite The bulletin of symbolic logic.
- Text
- Champaign, IL : Association for Symbolic Logic, c1995-
- 1995-present
- 18 Items
Available Online
http://www.jstor.org/journals/10798986.htmlItem details Format Call Number Item Location Text JFM 95-964 v. 16, no. 1-4 (2010) 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.
Item details Format Call Number Item Location Text JFM 95-964 v. 17, no. 1-4 (2011) 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.
Item details Format Call Number Item Location Text JFM 95-964 v. 18, no. 1-2 (2012) 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 systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text D-17 2552 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.
Model theory of stochastic processes / by Sergio Fajardo, H. Jerome Keisler.
- Text
- Natick, Mass. : Association for Symbolic Logic/A.K. Peters, c2002.
- 2002
- 1 Item
Item details Format Call Number Item Location Text JSE 02-1649 Offsite Intensionality / edited by Reinhard Kahle.
- Text
- Wellesley, Mass. : A K Peters, c2005.
- 2005
- 1 Item
Item details Format Call Number Item Location Text JSE 06-20 Offsite The bulletin of symbolic logic [electronic resource].
- Text
- Champaign, Ill. : Association for Symbolic Logic, 1995-
- 1995-present
- 2 Resources
Available Online
See All Available Online Resources
The journal of symbolic logic [electronic resource].
- Text
- Champaign, Ill. : Association for Symbolic Logic, 1936-
- 1936-present
- 1 Resource
Available Online
http://WU9FB9WH4A.search.serialssolutions.com/?V=1.0&L=WU9FB9WH4A&S=JCs&C=THEJOUOFSY&T=marcJournal of logic and analysis [electronic resource].
- Text
- [Poughkeepsie, N.Y.?] : Association for Symbolic Logic
- 2009-present
- 2 Resources
Available Online
See All Available Online Resources
Logic colloquium '73 : proceedings of the Logic Colloquium, Bristol, July 1973 / ed. by H. E. Rose and J. C. Shepherdson.
- Text
- Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier, 1975.
- 1975
- 1 Item
Item details Format Call Number Item Location Text QA9.A1 L63 1973 Off-site Logic Colloquium '92 / edited by László Csirmaz, Dov M. Gabbay, and Maarten de Rijke.
- Text
- Stanford, Calif. : CSLI Publications, [1995], ©1995.
- 1995-1995
- 1 Item
Item details Format Call Number Item Location Text BC135 .L576 1992 Off-site The Journal of symbolic logic.
- Text
- Providence, R.I. [etc.] : Association for Symbolic Logic
- 1936-present
- 61 Items
Item details Format Call Number Item Location Text BC1 .J6 v.58:no.1-2 (1993) Off-site Item details Format Call Number Item Location Text BC1 .J6 v.59:no.3-4 (1994) Off-site Item details Format Call Number Item Location Text BC1 .J6 v.59:no.1-2 (1994) Off-site Proceedings / Symposium on Logic in Computer Science.
- Text
- Washington, D.C. : IEEE Computer Society Press, ©1986-
- 1986-present
- 18 Items
Item details Format Call Number Item Location Text QA76.6 .S95 16th (2001) Off-site Item details Format Call Number Item Location Text QA76.6 .S95 17th (2002) Off-site Item details Format Call Number Item Location Text QA76.6 .S95 18th (2003) Off-site Proceedings of the Summer School in Logic, Leeds, 1967 ; N.A.T.O. Advanced Study Institute, Meeting of the Association for Symbolic Logic / Edited by M.H. Löb.
- Text
- Berlin ; New York [etc.] : Springer-Verlag, 1968.
- 1968
- 1 Item
Item details Format Call Number Item Location Text BC135 .S94 1967 Off-site Logic Colloquium '80 : papers intended for the European summer meeting of the Association for Symbolic Logic / edited by D. van Dalen, D. Lascar, T.J. Smiley.
- 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
Item details Format Call Number Item Location Text QA9.A1 L63 1980 Off-site The theory of models; proceedings. Edited by J.W. Addison, Léon Henkin [and] Alfred Tarski.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text 8126.495 Off-site Formal systems and recursive functions; proceedings. Edited by J.N. Crossley and M.A.E. Dummett.
- Text
- Amsterdam, North-Holland Pub. Co., 1965.
- 1965
- 1 Item
Item details Format Call Number Item Location Text MICROFILM 02977 Off-site Journal of philosophical logic.
- Text
- Dordrecht, Holland : Reidel Pub. Co., 1972-
- 1972-present
- 4 Items
Item details Format Call Number Item Location Text BC51 .J687 vol. 27 1998 Off-site Item details Format Call Number Item Location Text BC51 .J687 vol. 28 1999 Off-site Item details Format Call Number Item Location Text BC51 .J687 vol. 30 2001 Off-site The journal of symbolic logic.
- Text
- Menasha, Wis. : Association for Symbolic Logic, 1936-
- 1936-present
- 13 Items
Item details Format Call Number Item Location Text 8100.5095 vol. 62, no. 1-2 Mar.-June 1997 Off-site Item details Format Call Number Item Location Text 8100.5095 vol. 69, no. 1-2 Mar.-June 2004 Off-site Item details Format Call Number Item Location Text 8100.5095 vol. 71, no. 1-2 Mar.-June 2006 Off-site Annals of mathematical logic.
- Text
- Amsterdam : North-Holland Pub. Co.
- 1970-1982
- 8 Items
Item details Format Call Number Item Location Text 8100.12705 vol. 14-15 1978 Off-site Item details Format Call Number Item Location Text 8100.12705 vol. 18-19 1980 Off-site Item details Format Call Number Item Location Text 8100.12705 vol. 20-21 1981 Off-site The bulletin of symbolic logic.
- Text
- Champaign, IL : Association for Symbolic Logic, 1995-
- 1995-present
- 2 Items
Item details Format Call Number Item Location Text QA9.A1 B855 vol. 1 1995 Off-site Item details Format Call Number Item Location Text QA9.A1 B855 vol. 8 2002 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.
