Erakusten 1 - 6 emaitzak -- 6 bilaketa honetara '', Bilaketaren denbora: 0,02s Findu emaitzak
  1. 1

    Foundational theories of classical and constructive mathematics

    Argitaratua 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 nork Tieszen, Richard

    Argitaratua 2005
    Liburua

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

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

    Argitaratua 2004
    Liburua

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Argitaratua 1995
    Liburua

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

    From perturbative to constructive renormalization. nork Rivasseau, Vincent

    Argitaratua 1991
    Liburua

    From perturbative to constructive renormalization.
  6. 6

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

    Argitaratua 1970
    Liburua

    Notes on constructive mathematics

Bilaketa egiteko lanabesak: