Showing 1 - 20 results of 37 for search '', query time: 0.09s Refine Results
  1. 1
    by Loehr, Nicholas A.
    Published 2020
    Book

    An introduction to mathematical proofs
  2. 2
    Book

    Mathematical proofs a transition to advanced mathematics
  3. 3
    by Madden, Daniel J., Aubrey, Jason A.
    Published 2017
    Book

    An introduction to proof through real analysis
  4. 4
    Book

    Fundamental proof methods in computer science a computer-based approach
  5. 5
    Book

    An introduction to proof through real analysis
  6. 6
    by Roberts, Charles E., Jr
    Published 2015
    Book

    Introduction to mathematical proof a transition to advanced mathematics
  7. 7
    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

    Proof theory sequent calculi and related formalisms
  8. 8
    Table of contents only
    Book

    Three views of logic mathematics, philosophy, and computer science
  9. 9
    by Taylor, John 1957-, Garnier, Rowan
    Published 2014
    Book

    Understanding mathematical proof
  10. 10
    by Walton, Douglas N.
    Published 2014
    Cover image
    Book

    Burden of proof, presumption and argumentation
  11. 11
    by Schwichtenberg, Helmut 1942-
    Published 2012
    Table of contents only
    Book

    Proofs and computations
  12. 12
    by Braèuner, Torben
    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Hybrid logic and its proof-theory
  13. 13
    by Bloch, Ethan D. 1956-
    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Proofs and fundamentals a first course in abstract mathematics
  14. 14
    by Baaz, Matthias
    Published 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Methods of cut-elimination
  15. 15
    by Cook, Stephen 1948-
    Published 2010
    Book

    Logical foundations of proof complexity
  16. 16
    by Beck, Matthias
    Published 2010
    Book

    The art of proof basic training for deeper mathematics
  17. 17
    by Roberts, Charles E. 1942-
    Published 2010
    Book

    Introduction to mathematical proofs a transition
  18. 18
    by Morris, Dave Witte
    Published 2010
    Book

    Proofs and concepts the fundamentals of abstract mathematics
  19. 19
    by Stirling, David S. G. 1947-
    Published 2009
    Book

    Mathematical analysis and proof
  20. 20
    by Maddox, Randall B.
    Published 2009
    Book

    A transition to abstract mathematics mathematical thinking and writing
Search Tools: Get RSS Feed — Email this Search