Rezultati pretrage

  • Prikaz rezultata 1 – 7 od 7
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


    Slika omota
  2. 2

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

    Izdano 1995
    Knjiga


    Slika omota
  3. 3

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

    Izdano 2004
    Knjiga


    Slika omota
  4. 4

    Phenomenology, logic, and the philosophy of mathematics od Tieszen, Richard

    Izdano 2005
    Knjiga


    Slika omota
  5. 5

    From perturbative to constructive renormalization. od Rivasseau, Vincent

    Izdano 1991
    Knjiga


    Slika omota
  6. 6

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

    Izdano 1970
    Knjiga


    Slika omota
  7. 7

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

    Izdano 1998
    Knjiga


    Slika omota

Alati za pretragu: