Формална граматика на българския език
(5/5) - 330 оценки
6 058 души са изтеглили тази книга безплатно
Constructive type theory was first presented in 1970 by Swedish logician Per Martin-Lof. Since then, it has become one of the main approaches in the foundations of mathematics and computer science. However, although it provides a considerable extension of...