Alberto Policriti

No bio available. Add one in Open Library.

Books by Alberto Policriti (50 max)

+ shelf+ list

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)

2001

Domenico Cantone, Eugenio Omodeo, Alberto Policriti

+ shelf+ list

On Sets and Graphs : Perspectives on Logic and Combinatorics

2017

Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu

+ shelf+ list

Martin Davis on Computability, Computational Logic, and Mathematical Foundations

2017

Eugenio G. Omodeo, Alberto Policriti