Résultat(s) 1 - 6 résultats de 6 pour la requête '', Temps de recherche: 0,01s Affiner les résultats
  1. 1

    Foundational theories of classical and constructive mathematics

    Publié 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 par Tieszen, Richard

    Publié 2005
    Livre

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

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

    Publié 2004
    Livre

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Publié 1995
    Livre

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

    From perturbative to constructive renormalization. par Rivasseau, Vincent

    Publié 1991
    Livre

    From perturbative to constructive renormalization.
  6. 6

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

    Publié 1970
    Livre

    Notes on constructive mathematics

Outils de recherche: