Надо будет почитать
Jul. 6th, 2023 08:53 amType 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
no subject
Date: 2023-07-06 11:44 am (UTC)Спасибо!!! Надо будет послушать.
no subject
Date: 2023-07-06 12:43 pm (UTC)https://www.youtube.com/playlist?list=PLlb7e2G7aSpRDR44HMNqDHYgrAOPp7QLr