Showing 1 - 6 results of 6 for search '', Forespørselstid: 0.01s Refine Results
  1. 1

    Foundational theories of classical and constructive mathematics

    Udgivet 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 af Tieszen, Richard

    Udgivet 2005
    Bog

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

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

    Udgivet 2004
    Bog

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Udgivet 1995
    Bog

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

    From perturbative to constructive renormalization. af Rivasseau, Vincent

    Udgivet 1991
    Bog

    From perturbative to constructive renormalization.
  6. 6

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

    Udgivet 1970
    Bog

    Notes on constructive mathematics

Søgeredskaber: