|
| POSSEDUTO (se manca la collocazione vai al documento contenente) | |
| Autore principale: | Darnell, Eamon.
|
| Titolo: | Takeuti's well-ordering proof : finitistically fine? / Eamon Darnell and Aaron Thomas-Bolduc. |
| In: |  Research in history and philosophy of mathematics. Cham : Birkhäuser, c2018. p. 167-180 |
| Altri autori: | Thomas-Bolduc, Aaron, (coautore.) |
| Discipline: | Logica matematica--Persone. |
| Persone: | Takeuti, Gaisi, 1926-2017. Gentzen, Gerhard, 1909-1945. |
| Sudd. cronologiche: | Secolo XX. |
| 000001070564 |
--------------------------------------