Мета заморожена
Автор мети 28 лютого 2020 року заморозив мету
Загальна
Прочитать книжку 1973, Chang & Lee, Symbolic Logic and Mechanical Theorem Proving
https://www.amazon.com/Symbolic-Mechanical-Computer-Mathematics-Chin-Liang/dp/B015X516AE
Есть русский перевод 1983-го года, но... сначала эту, а ту потом как-нибудь, может быть...
Критерій завершення
Прочитано 338 страниц
Екологічність мети
Неэкологичная, вредная цель
Не пропустіть нові записи!
Підпишіться на ціль і стежте за її досягненням
