Đang hiển thị 1 - 6 kết quả của 6 cho tìm kiếm '', thời gian truy vấn: 0.01s Tinh chỉnh kết quả
  1. 1

    Foundational theories of classical and constructive mathematics

    Được phát hành 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 Bằng Tieszen, Richard

    Được phát hành 2005
    Sách

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

    Foundations of algorithms using C++ pseudocode Bằng Neapolitan, Richard E.

    Được phát hành 2004
    Sách

    Foundations of algorithms using C++ pseudocode
  4. 4

    Bounded arithmetic, propositional logic, and complexity theory Bằng Krajihcek, Jan

    Được phát hành 1995
    Sách

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

    From perturbative to constructive renormalization. Bằng Rivasseau, Vincent

    Được phát hành 1991
    Sách

    From perturbative to constructive renormalization.
  6. 6

    Notes on constructive mathematics Bằng Martin-Lof, Per 1942-

    Được phát hành 1970
    Sách

    Notes on constructive mathematics

Công cụ tìm kiếm: