Eugenio G Omodeo: 2 books
Computational Logic and Set Theory
Applying Formalized Logic to Analysis
Language: English
Release Date: July 16, 2011
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 in the ÆtnaNova system, a prototype computer program designed to verify the correctness of mathematical...
On Sets and Graphs
Perspectives on Logic and Combinatorics
Language: English
Release Date: May 11, 2017
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. Features: explores the interrelationships between...