Цель заморожена
Автор цели 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 страниц
Экологичность цели
Неэкологичная, вредная цель
Не пропустите новые записи!
Подпишитесь на цель и следите за ее достижением
