Mathematics and the formal turn.
| Autor: | Avigad, Jeremy1 (AUTHOR) |
|---|---|
| Zdroj: | Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p225-240. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|
| Autor: | Avigad, Jeremy1 (AUTHOR) |
|---|---|
| Zdroj: | Bulletin (New Series) of the American Mathematical Society. Apr2024, Vol. 61 Issue 2, p225-240. 16p. |
| Databáze: | Academic Search Ultimate |
| Externí odkaz: |
|