Читать книгу Мивар: Линейный логический вывод - Олег Варламов - Страница 1

Варламов Олег Олегович, Московский автомобильно-дорожный государственный технический университет (МАДИ), Московский физико-технический институт (государственный университет) (МФТИ) (ovar@narod.ru; ovarlamov@gmail.com)