tag:blogger.com,1999:blog-2467724970188645480.post2050516474020501285..comments2023-11-15T11:12:15.983+02:00Comments on T13-d3-m135: Logiikka ja tiedeTiedemieshttp://www.blogger.com/profile/08307419899926184187noreply@blogger.comBlogger1125tag:blogger.com,1999:blog-2467724970188645480.post-89718309814534565112013-06-21T16:57:53.329+03:002013-06-21T16:57:53.329+03:00Oheislukemistoksi sopisi
Homotopy Type Theory:
Un...Oheislukemistoksi sopisi<br /><br />Homotopy Type Theory:<br />Univalent Foundations of Mathematics<br /><br />http://homotopytypetheory.org/book/Frankhttps://www.blogger.com/profile/05688877647329096051noreply@blogger.com