Prikaz rezultata 1 – 6 od 6 za pretragu '', vrijeme upita: 0,01s Detaljiziraj rezultate
  1. 1

    Foundational theories of classical and constructive mathematics

    Izdano 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 od Tieszen, Richard

    Izdano 2005
    Knjiga

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

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

    Izdano 2004
    Knjiga

    Foundations of algorithms using C++ pseudocode
  4. 4

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

    Izdano 1995
    Knjiga

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

    From perturbative to constructive renormalization. od Rivasseau, Vincent

    Izdano 1991
    Knjiga

    From perturbative to constructive renormalization.
  6. 6

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

    Izdano 1970
    Knjiga

    Notes on constructive mathematics

Alati za pretragu: