Home Advanced Search

Advanced Search - Page 1

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.)
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets
  • PDF
  • English
  • Year: 2001
  • Author: Domenico Cantone, Eugenio Omodeo, Alberto Policriti
On Sets and Graphs: Perspectives on Logic and Combinatorics
  • PDF
  • English
  • Year: 2017
  • Author: Eugenio G. Omodeo, Alberto Policriti, Alexandru I. Tomescu (auth.)
An Introduction to the Technique of Formative Processes in Set Theory
  • PDF
  • English
  • Year: 2018
  • Author: Domenico Cantone,Pietro Ursino (auth.)
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
Lectures on the Mathematical Method in Analytical Economics
  • EPUB
  • English
  • Year: 2018
  • Author: Jacob T. Schwartz
search