Search Results

  • Showing 1 - 7 results of 7
Refine Results
  1. 1

    Foundational theories of classical and constructive mathematics

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


    Cover Image
  2. 2

    Bounded arithmetic, propositional logic, and complexity theory by Krajihcek, Jan

    Published 1995
    Book


    Cover Image
  3. 3

    Foundations of algorithms using C++ pseudocode by Neapolitan, Richard E.

    Published 2004
    Book


    Cover Image
  4. 4

    Phenomenology, logic, and the philosophy of mathematics by Tieszen, Richard

    Published 2005
    Book


    Cover Image
  5. 5

    From perturbative to constructive renormalization. by Rivasseau, Vincent

    Published 1991
    Book


    Cover Image
  6. 6

    Notes on constructive mathematics by Martin-Lof, Per 1942-

    Published 1970
    Book


    Cover Image
  7. 7

    Foundations of algorithms using C++ pseudocode by Neapolitan, Richard E.

    Published 1998
    Book


    Cover Image

Search Tools: