Martin Davis on Computability, Computational Logic, and Mathematical Foundations (Outstanding Contributions to Logic)

[広告]