Mostrando 1 - 6 resultados de 6 para a busca '', tempo de busca: 0.01s Refinar Resultados
  1. 1

    Foundational theories of classical and constructive mathematics

    Publicado em 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 em 2005
    Livro

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

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

    Publicado em 2004
    Livro

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Publicado em 1995
    Livro

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

    From perturbative to constructive renormalization. por Rivasseau, Vincent

    Publicado em 1991
    Livro

    From perturbative to constructive renormalization.
  6. 6

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

    Publicado em 1970
    Livro

    Notes on constructive mathematics

Ferramentas de busca: