Bagaria, Joan, ICREA (Institució Catalana De Recerca I Estudis Avançats) and Departament de Lògica, Història i Filosofia de la Ciència, Universitat de Barcelona, Spain
-
Arbor Vol. 189 No. 764 (2013) - Articles
On Turing’s legacy in mathematical logic and the foundations of mathematics
Abstract HTML PDF XML