Gösterilen 1 - 6 sonuçlar arası kayıtlar. 6 sonuç. Aranan kelime '', Sorgu süresi: 0.01s Sonuçları Daraltın
  1. 1

    Foundational theories of classical and constructive mathematics

    Baskı/Yayın Bilgisi 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 Yazar: Tieszen, Richard

    Baskı/Yayın Bilgisi 2005
    Kitap

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

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

    Baskı/Yayın Bilgisi 2004
    Kitap

    Foundations of algorithms using C++ pseudocode
  4. 4

    Bounded arithmetic, propositional logic, and complexity theory Yazar: Krajihcek, Jan

    Baskı/Yayın Bilgisi 1995
    Kitap

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

    From perturbative to constructive renormalization. Yazar: Rivasseau, Vincent

    Baskı/Yayın Bilgisi 1991
    Kitap

    From perturbative to constructive renormalization.
  6. 6

    Notes on constructive mathematics Yazar: Martin-Lof, Per 1942-

    Baskı/Yayın Bilgisi 1970
    Kitap

    Notes on constructive mathematics

Arama Araçları: