Надо будет почитать
Jul. 6th, 2023 08:53 am![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
carrauntoohilType Theory and Formal Proof: An Introduction
Herman Guevers
https://www.amazon.de/-/en/Type-Theory-Formal-Proof-Introduction/dp/110703650X/ref=cm_cr_arp_d_product_top?ie=UTF8
На этого Автора я вышел из конспектов к этой лекции
https://www.lektorium.tv/lecture/13184
Herman Guevers
https://www.amazon.de/-/en/Type-Theory-Formal-Proof-Introduction/dp/110703650X/ref=cm_cr_arp_d_product_top?ie=UTF8
На этого Автора я вышел из конспектов к этой лекции
https://www.lektorium.tv/lecture/13184
