Martin Davis on Computability, Computational Logic, and Mathematical Foundations Eugenio G. Omodeo & Alberto Policriti: другие книги

On Sets and Graphs

2017

Computational Logic and Set Theory

2011