Periodo de publicación recogido
|
|
|
Opinion: the Mechanization of Mathematics
Jeremy Avigad
Notices of the American Mathematical Society, ISSN 0002-9920, Vol. 65, Nº. 6, 2018, págs. 681-690
Logic’s Lost Genius and Gentzen’s Centenary
Jeremy Avigad (res.)
Notices of the American Mathematical Society, ISSN 0002-9920, Vol. 63, Nº. 11, 2016, págs. 1288-1292
The concept of �character� in Dirichlet�s theorem on primes in an arithmetic progression
Jeremy Avigad, Rebecca E. Morrison
Archive for history of exact sciences, ISSN 0003-9519, Vol. 68, Nº 3, 2014, págs. 265-326
Zen and the art of formalisation
Andrea Asperti, Jeremy Avigad
Mathematical structures in computer science, ISSN 0960-1295, Vol. 21, Nº 4, 2011, págs. 679-682
Metastability in the Furstenberg-Zimmer tower
Jeremy Avigad, Henry Towsner
Fundamenta mathematicae, ISSN 0016-2736, Vol. 210, Nº 3, 2010, págs. 243-268
Local stability of ergodic averages
Jeremy Avigad, Philipp Gerhardy, Henry Towsner
Transactions of the American Mathematical Society, ISSN 0002-9947, Vol. 362, Nº 1, 2010, págs. 261-288
Alan Turing: His Work and Impact, A Book Review
Jeremy Avigad (res.)
Notices of the American Mathematical Society, ISSN 0002-9920, Vol. 61, Nº. 8, 2014, págs. 886-890
Es reseña de:
Alan Turing: His Work and Impact
2013
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados