Enrique A. Bour
A Repository of selected papers in Economics, Mathematical Economics, Social Sciences and Philosophy
Main Menu
Home
Vita
Courses / Assistants
Books
Articles
Working Papers
Links Repository
- - - - - - -
Index of Authors
Index of Institutions
- - - - - - -
Photo Gallery
Contact me
Search
Students' News

22/3 Microeconomía II
Alumnos 1er Cuatrimestre

1/3 Metodología I
Programa 2017

28/2 Microeconomía II
Programa 1er Semestre

Statistics
Documents: 157
Links: 11909
Authors: 7668
Institutions: 379

Online users: 3630
Visitors: 57687155
Since Nov 9, 2004 

 
Search
Search Keyword:
Any words All words Exact phrase
Ordering:
Search Keyword Avigad returned 1 matches

A Language for Mathematical Knowledge Management (Links / C MATHEMATICAL AND QUANTITATIVE METHODS)
By Steven Kieffer, Jeremy Avigad, and Harvey Friedman, Computer Reconstruction of the Body of Mathematics, 18(31), 2009. …
16 July, 2010
 
 
Total 1 results found. Search for Avigad with

 

 
2004-2017 © Enrique Bour