Domenico Cantone - Böcker

Computational Logic and Set Theory

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Computational Logic and Set Theory

Applying Formalized Logic to Analysis

From Computational Logic to Computational Biology

Essays Dedicated to Alfredo Ferro to Celebrate His Scientific Career

Introduction to the Technique of Formative Processes in Set Theory