Zobrazuji výsledky 1 - 6 z 6 pro vyhledávání '', doba hledání: 0,02 s. Upřesnit hledání
  1. 1

    Foundational theories of classical and constructive mathematics

    Vydáno 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 Autor Tieszen, Richard

    Vydáno 2005
    Kniha

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

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

    Vydáno 2004
    Kniha

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Vydáno 1995
    Kniha

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

    From perturbative to constructive renormalization. Autor Rivasseau, Vincent

    Vydáno 1991
    Kniha

    From perturbative to constructive renormalization.
  6. 6

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

    Vydáno 1970
    Kniha

    Notes on constructive mathematics

Vyhledávací nástroje: