Home Advanced Search

Advanced Search - Page 1

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
  • PDF
  • English
  • Year: 2001
  • Author: Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
  • PDF
  • English
  • Year: 2016
  • Author: Eugenio G. Omodeo, Alberto Policriti (eds.)
Martin Davis on Computability, Computational Logic, and Mathematical Foundations
  • PDF
  • English
  • Year: 2016
  • Author: Eugenio G. Omodeo, Alberto Policriti (eds.)
On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • english
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • English
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu
On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • English
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu (auth.)
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
  • PDF
  • English
  • Year: 2011
  • Author: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
An Introduction to the Technique of Formative Processes in Set Theory
  • PDF
  • english
  • Year: 2018
  • Author: Domenico Cantone, Pietro Ursino
An Introduction to the Technique of Formative Processes in Set Theory
  • PDF
  • English
  • Year: 2018
  • Author: Domenico Cantone, Pietro Ursino
search