Marknadens största urval
Snabb leverans

Böcker av Eugenio G. Omodeo

Filter
Filter
Sortera efterSortera Populära
  • - Perspectives on Logic and Combinatorics
    av Alberto Policriti, Alexandru I. Tomescu & Eugenio G. Omodeo
    750,-

    This treatise presents an integrated perspective on the interplay of set theory and graph theory, providing an extensive selection of examples that highlight how methods from one theory can be used to better solve problems originated in the other.

  • - Applying Formalized Logic to Analysis
    av Domenico Cantone, Jacob T. Schwartz & Eugenio G. Omodeo
    1 090,-

    This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the AEtnaNova system, a program built to verify the correctness of mathematical proofs.

Gör som tusentals andra bokälskare

Prenumerera på vårt nyhetsbrev för att få fantastiska erbjudanden och inspiration för din nästa läsning.