lecture_notes
-
1958_10.pdf
- File name: 1958_10.pdf
- File size: 884 KB
- File creation date: 04 Feb 2022 11:19
-
1958_10.pdf
- File name: 1958_10.pdf
- File size: 884 KB
- File creation date: 04 Feb 2022 11:19
Organizers
Directors: T. Coquand, A. Dickenstein, T. Kadeishvili, F. Sergeraert. Local Organizer: L. Goettsche