LUCA  SAN  MAURO

COMPUTABILITY, LOGIC, AND PHILOSOPHY OF MATHEMATICS