Näytetään 1 - 6 yhteensä 6 tuloksesta haulle '', hakuaika: 0,01s Tarkenna hakua
  1. 1

    Foundational theories of classical and constructive mathematics

    Julkaistu 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 Tekijä Tieszen, Richard

    Julkaistu 2005
    Kirja

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

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

    Julkaistu 2004
    Kirja

    Foundations of algorithms using C++ pseudocode
  4. 4

    Bounded arithmetic, propositional logic, and complexity theory Tekijä Krajihcek, Jan

    Julkaistu 1995
    Kirja

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

    From perturbative to constructive renormalization. Tekijä Rivasseau, Vincent

    Julkaistu 1991
    Kirja

    From perturbative to constructive renormalization.
  6. 6

    Notes on constructive mathematics Tekijä Martin-Lof, Per 1942-

    Julkaistu 1970
    Kirja

    Notes on constructive mathematics

Työkalut: