Autor: Eugenio G. Omodeo

Apoio

3 Ebooks por Eugenio G. Omodeo

Eugenio G. Omodeo & Alberto Policriti: Martin Davis on Computability, Computational Logic, and Mathematical Foundations
This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability. The indivi …
PDF
Inglês
€96.29
Domenico Cantone & Eugenio G. Omodeo: Computational Logic and Set Theory
This must-read text presents the pioneering work of the late Professor Jacob (Jack) T. Schwartz on computational logic and set theory and its application to proof verification techniques, culminating …
PDF
Inglês
DRM
€57.76
Eugenio G. Omodeo & Alberto Policriti: On Sets and Graphs
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 t …
EPUB
Inglês
DRM
€58.33