Treffer 1 - 4 von 4 für Suche 'Association for Symbolic Logic', Suchdauer: 0,02s Treffer weiter einschränken
  1. 1

    Proofs and computations von Schwichtenberg, Helmut 1942-

    Veröffentlicht 2012
    Table of contents only
    Buch

    Proofs and computations
  2. 2

    Logical foundations of proof complexity von Cook, Stephen 1948-

    Veröffentlicht 2010
    Buch

    Logical foundations of proof complexity
  3. 3

    The bulletin of symbolic logic.

    Veröffentlicht 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.

Suchwerkzeuge: