Search Results

Refine Results
  1. 1

    Proof theory sequent calculi and related formalisms by Bimbo, Katalin 1963-

    Published 2015
    Available for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access
    Also available remotely for University of the Philippines Diliman College of Engineering via CRCnetBASE. Click here to access thru EZproxy
    Electronic Resource


    Cover Image
  2. 2

    How to read and do proofs an introduction to mathematical thought processes by Solow, Daniel

    Published 2005
    Book


    Cover Image
  3. 3

    Proofs and computations by Schwichtenberg, Helmut 1942-

    Published 2012
    Table of contents only
    Book


    Cover Image
  4. 4

    Structural proof theory by Negri, Sara 1967-

    Published 2001
    Book


    Cover Image
  5. 5

    Logical foundations of proof complexity by Cook, Stephen 1948-

    Published 2010
    Book


    Cover Image
  6. 6

    Mathematical reasoning writing and proof by Sundstrom, Theodore A.

    Published 2003
    Book


    Cover Image
  7. 7

    Proofs and fundamentals a first course in abstract mathematics by Bloch, Ethan D. 1956-

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  8. 8

    Hybrid logic and its proof-theory by Braèuner, Torben

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  9. 9

    Methods of cut-elimination by Baaz, Matthias

    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource


    Cover Image
  10. 10

    The art of proof basic training for deeper mathematics by Beck, Matthias

    Published 2010
    Book


    Cover Image

Search Tools: