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

Неэкологичная, вредная цель

  • 614
  • 27 February 2020, 00:14
Sign up

Signup

Уже зарегистрированы?
Quick sign-up through social networks.
Sign in

Sign in.
Allowed.

Not registered yet?
 
Log in through social networks
Forgot your password?