Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Omodeo Eugenio G, Policriti Alberto
2017-01-01
Cite
Type
Book