De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Forfattere
  3. Eugenio G. Omodeo

Bøger af Eugenio G. Omodeo

Filter
Filter
✕
Sorter efterSorter Populære
  • On Sets and Graphs
    On Sets and Graphs
    - Perspectives on Logic and Combinatorics
    af Alberto Policriti, Alexandru I. Tomescu & Eugenio G. Omodeo
    732,95 - 1.041,95 kr.

    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.

    Se mere
  • Computational Logic and Set Theory
    Computational Logic and Set Theory
    - Applying Formalized Logic to Analysis
    af Domenico Cantone, Jacob T. Schwartz & Eugenio G. Omodeo
    693,95 - 699,95 kr.

    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.

    Se mere