Martin Davis on Computability, Computational Logic, and Mathematical Foundations

Omodeo, Eugenio G.

POLICRITI, Alberto