Showing 1 - 4 results of 4 for search 'Association for Symbolic Logic', query time: 0.02s Refine Results
  1. 1

    Proofs and computations by Schwichtenberg, Helmut 1942-

    Published 2012
    Table of contents only
    Book

    Proofs and computations
  2. 2

    Logical foundations of proof complexity by Cook, Stephen 1948-

    Published 2010
    Book

    Logical foundations of proof complexity
  3. 3

    The bulletin of symbolic logic.

    Published 1995
    Available for UP System via Cambridge Core.
    Continuing Resource

    The bulletin of symbolic logic.
  4. 4

    The Journal of symbolic logic.

    Available for University of the Philippines - Diliman via JSTOR. Click here to access
    Continuing Resource

    The Journal of symbolic logic.

Search Tools: