Toon 1 - 6 resultaten van 6 Voor zoekopdracht '', zoektijd: 0,01s Verfijn jouw resultaten
  1. 1

    Foundational theories of classical and constructive mathematics

    Gepubliceerd in 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 door Tieszen, Richard

    Gepubliceerd in 2005
    Boek

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

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

    Gepubliceerd in 2004
    Boek

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Gepubliceerd in 1995
    Boek

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

    From perturbative to constructive renormalization. door Rivasseau, Vincent

    Gepubliceerd in 1991
    Boek

    From perturbative to constructive renormalization.
  6. 6

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

    Gepubliceerd in 1970
    Boek

    Notes on constructive mathematics

Zoekinstrumenten: