Search results for: Association for Symbolic Logic

Showing 1 - 20 results of 47 Refine Results
  1. 1

    The Journal of symbolic logic.

    Physical Description: volumes ; 26 cm, Also available on the Internet.
    Journal
  2. 2

    The bulletin of symbolic logic.

    Published: Association for Symbolic Logic, 1995
    Physical Description: volumes ; 25 cm, Also available online.
    Journal
  3. 3

    Proof and computations

    Authors: Schwichtenberg, Helmut, 1942-
    Published: Cambridge University Press, 2012
    Physical Description: xiii, 465 pages : illustrations ; 25 cm.
    Book
  4. 4

    Effective mathematics of the uncountable

    Published: Cambridge University Press, 2013
    Physical Description: 1 online resource (viii, 197 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  5. 5

    Lambda calculus with types

    Authors: Barendregt, H. P. (Hendrik Pieter), Dekkers, Wil, Statman, Richard, Alessi, Fabio
    Published: Cambridge University Press, 2013
    Physical Description: 1 online resource (xxii, 833 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  6. 6

    Subsystems of second order arithmetic

    Authors: Simpson, Stephen G. (Stephen George), 1945-
    Published: Cambridge University Press, 2009
    Physical Description: 1 online resource (xvi, 444 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  7. 7

    Proofs and computations

    Authors: Schwichtenberg, Helmut, 1942-, Wainer, S. S.
    Published: Cambridge University Press, 2012
    Physical Description: 1 online resource (xiii, 465 pages) : digital, PDF file(s).
    Connect to online resource - MSU authorized users (Digital Object Identifier Permalink)
    Electronic eBook
  8. 8

    The collected works of Alonzo Church

    Authors: Church, Alonzo, 1903-1995
    Published: The MIT Press, 2019
    Physical Description: xxiv, 1,189 pages, 12 unnumbered pages : illustrations ; 27 cm
    Book
  9. 9

    A theory of truth

    Authors: Stephanou, Yannis, 1966-
    Published: Cambridge University Press, 2024
    Cambridge eBooks without Partner Presses: 2023 All Books: 2023 (Digital Object Identifier Permalink)
    Electronic eBook
  10. 10

    Journal of philosophical logic

    ProQuest One Literature: 1972 - 2000 (ProQuest)
    Springer Journals Archive Collection - Humanities Social Sciences and Law: 1972 - 1996
    Academic Search Complete: 2003 to present. (Due to publisher restrictions, the most recent 1 year is not available) (EBSCO)
    Springer Nature Humanities, Social Science, and Law Collection: 1997 to present (Springer Link)
    JSTOR Arts & Sciences VIII Archive Collection: 1972 to present. (Due to publisher restrictions, the most recent 4 years are not available) (JSTOR)
    ProQuest One Literature: 1997 to present. (Due to publisher restrictions, the most recent 1 year is not available) (ProQuest)
    Springer Nature Contemporary (BTAA): 1997 to present
    Research Library: 1997 to present. (Due to publisher restrictions, the most recent 1 year is not available) (ProQuest)
    Humanities Source: 2003 to present. (Due to publisher restrictions, the most recent 1 year is not available) (EBSCO)
    Proquest Periodicals Archive Online Collection 4: 1972 - 1995 (ProQuest)
    Electronic Journal
  11. 11

    Lectures on infinitary model theory

    Authors: Marker, D. (David), 1958-
    Published: Cambridge University Press, 2016
    ProQuest Ebook Central: (Ebook Central @ Proquest)
    EBSCO eBooks: 2016 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2016 (EBSCO)
    Electronic eBook
  12. 12

    Proofs and computations

    Authors: Schwichtenberg, Helmut, 1942-
    Published: Association for Symbolic Logic ; Cambridge University Press, 2012
    EBSCO eBooks: 2012 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2012 (EBSCO)
    Electronic eBook
  13. 13

    Descriptive complexity, canonisation, and definable graph structure theory

    Authors: Grohe, M. (Martin)
    Published: Cambridge University Press, 2017
    EBSCO eBooks: 2017 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2017 (EBSCO)
    Electronic eBook
  14. 14

    Proofs and computations

    Authors: Schwichtenberg, Helmut, 1942-
    Published: Association for Symbolic Logic ; Cambridge University Press, 2012
    ProQuest Ebook Central - Academic Complete: 2011 (Ebook Central @ Proquest)
    Electronic eBook
  15. 15

    Abstract recursion and intrinsic complexity

    Authors: Moschovakis, Yiannis N.
    Published: Cambridge University Press, 2019
    EBSCO eBooks: 2019 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2019 (EBSCO)
    Electronic eBook
  16. 16

    Effective mathematics of the uncountable

    Published: Cambridge University Press, 2013
    ProQuest Ebook Central - Academic Complete: 2013 (Ebook Central @ Proquest)
    EBSCO eBooks: 2013 (EBSCO)
    eBook Academic Collection (EBSCOhost) – North America: 2013 (EBSCO)
    Electronic eBook
  17. 17

    Complexity of infinite-domain constraint satisfaction

    Authors: Bodirsky, Manuel, 1976-
    Published: Cambridge University Press, 2021
    Cambridge Books on Core: 2021 (Digital Object Identifier Permalink)
    Electronic eBook
  18. 18

    The review of symbolic logic

    Published: Cambridge University Press for the Association for Symbolic Logic, 2008
    Cambridge Journals: 2024 Full Collection: 2008 to present (Cambridge Core)
    Electronic Journal
  19. 19

    The Journal of symbolic logic

    Cambridge Journals: 2024 Full Collection: 2014 to present (Cambridge Core)
    JSTOR Arts & Sciences I Archive Collection: 1936 to present. (Due to publisher restrictions, the most recent 5 years are not available) (JSTOR)
    Project Euclid: 2002 to present (Project Euclid)
    Electronic Journal
  20. 20

    Journal of logic and analysis

    EBSCO Open Access Journals: 2009 to present
    DOAJ: Directory of Open Access Journals: 2009 to present
    Electronic Journal