Showing 1 - 6 results of 6 for search '', query time: 0.01s 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

    Foundational theories of classical and constructive mathematics
  2. 2

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

    Published 2005
    Book

    Phenomenology, logic, and the philosophy of mathematics
  3. 3

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

    Published 2004
    Book

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Published 1995
    Book

    Bounded arithmetic, propositional logic, and complexity theory
  5. 5

    From perturbative to constructive renormalization. by Rivasseau, Vincent

    Published 1991
    Book

    From perturbative to constructive renormalization.
  6. 6

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

    Published 1970
    Book

    Notes on constructive mathematics

Search Tools: