يعرض 1 - 6 نتائج من 6 نتيجة بحث عن '', وقت الاستعلام: 0.02s تنقيح النتائج
  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

أدوات البحث: