Visas 1 - 6 av 6 resultat för sökning '', Sökningstid: 0,02s Förfina resultatet
  1. 1

    Foundational theories of classical and constructive mathematics

    Publicerad 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 av Tieszen, Richard

    Publicerad 2005
    Bok

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

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

    Publicerad 2004
    Bok

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Publicerad 1995
    Bok

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

    From perturbative to constructive renormalization. av Rivasseau, Vincent

    Publicerad 1991
    Bok

    From perturbative to constructive renormalization.
  6. 6

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

    Publicerad 1970
    Bok

    Notes on constructive mathematics

Sökverktyg: