Goal frozen
Author of goal 28 February 2020 year froze this goal
General
Прочитать книжку 1973, Chang & Lee, Symbolic Logic and Mechanical Theorem Proving
https://www.amazon.com/Symbolic-Mechanical-Computer-Mathematics-Chin-Liang/dp/B015X516AE
Есть русский перевод 1983-го года, но... сначала эту, а ту потом как-нибудь, может быть...
Goal Accomplishment Criteria
Прочитано 338 страниц
Goal ecological compatibility
Неэкологичная, вредная цель
Don't miss new posts!
Subscribe for the Goal and follow through to its completion
