Showing 1 - 6 results of 6 for search '', 查詢時間: 0.01s Refine Results
  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

檢索工具: