Εμφανίζονται 1 - 6 Αποτελέσματα από 6 για την αναζήτηση '', χρόνος αναζήτησης: 0,01δλ Περιορισμός αποτελεσμάτων
  1. 1

    Foundational theories of classical and constructive mathematics

    Έκδοση 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 ανά Tieszen, Richard

    Έκδοση 2005
    Βιβλίο

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

    Foundations of algorithms using C++ pseudocode ανά Neapolitan, Richard E.

    Έκδοση 2004
    Βιβλίο

    Foundations of algorithms using C++ pseudocode
  4. 4

    Bounded arithmetic, propositional logic, and complexity theory ανά Krajihcek, Jan

    Έκδοση 1995
    Βιβλίο

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

    From perturbative to constructive renormalization. ανά Rivasseau, Vincent

    Έκδοση 1991
    Βιβλίο

    From perturbative to constructive renormalization.
  6. 6

    Notes on constructive mathematics ανά Martin-Lof, Per 1942-

    Έκδοση 1970
    Βιβλίο

    Notes on constructive mathematics

Εργαλεία αναζήτησης: