Dangos 1 - 6 canlyniadau o 6 ar gyfer chwilio '', amser ymholiad: 0.01e Mireinio'r Canlyniadau
  1. 1

    Foundational theories of classical and constructive mathematics

    Cyhoeddwyd 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 gan Tieszen, Richard

    Cyhoeddwyd 2005
    Llyfr

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

    Foundations of algorithms using C++ pseudocode gan Neapolitan, Richard E.

    Cyhoeddwyd 2004
    Llyfr

    Foundations of algorithms using C++ pseudocode
  4. 4

    Bounded arithmetic, propositional logic, and complexity theory gan Krajihcek, Jan

    Cyhoeddwyd 1995
    Llyfr

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

    From perturbative to constructive renormalization. gan Rivasseau, Vincent

    Cyhoeddwyd 1991
    Llyfr

    From perturbative to constructive renormalization.
  6. 6

    Notes on constructive mathematics gan Martin-Lof, Per 1942-

    Cyhoeddwyd 1970
    Llyfr

    Notes on constructive mathematics

Offerynnau Chwilio: