Showing 1 - 6 results of 6 for search '', tempo de consulta: 0.01s Limitar resultados
  1. 1

    Foundational theories of classical and constructive mathematics

    Publicado 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 por Tieszen, Richard

    Publicado 2005
    Libro

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

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

    Publicado 2004
    Libro

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Publicado 1995
    Libro

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

    From perturbative to constructive renormalization. por Rivasseau, Vincent

    Publicado 1991
    Libro

    From perturbative to constructive renormalization.
  6. 6

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

    Publicado 1970
    Libro

    Notes on constructive mathematics

Ferramentas de procura: