検索結果 1 - 6 結果 / 6 検索語 '', 処理時間: 0.02秒 結果の絞り込み
  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

検索ツール: