3 E-böcker av 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
Engelska
€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
Engelska
DRM
€56.14
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 …
EPUB
Engelska
DRM
€57.73
