- Japanese
- Contact Us
- Each Site
- University Library▼
- Law and Economics Library▼
- Faculty of Science Library
- GWC Library
Search holdings in other university libraries.
Enter the title of the electronic resource.
MyGLIM
Bib Search+(Plus)
Library News
Newly Arrived(Univ Lib)
Newly Arrived(Sci.Lib)
Introduction to Homotopy Type Theory
Egbert Rijke ; : hardback. -- Cambridge University Press, 2026. -- (Cambridge studies in advanced mathematics ; 219). -- 巻号等：: hardback<図書>
2025/12/04