El objetivo está bloqueado
El autor del objetivo 28 febrero 2020 bloqueó el objetivo
General
Прочитать книжку 1973, Chang & Lee, Symbolic Logic and Mechanical Theorem Proving
https://www.amazon.com/Symbolic-Mechanical-Computer-Mathematics-Chin-Liang/dp/B015X516AE
Есть русский перевод 1983-го года, но... сначала эту, а ту потом как-нибудь, может быть...
Criterio del fin
Прочитано 338 страниц
Lo ecológico del objetivo
Неэкологичная, вредная цель
¡No omita entradas nuevas!
Suscríbase al objetivo y siga su logro
