![](/img/cover-not-exists.png)
[Studies in Logic and the Foundations of Mathematics] Word Problems - Decision Problems and the Burnside Problem in Group Theory Volume 71 || Maximal Models and Refutation Completeness: Semidecision Procedures in Automatic Theorem Proving
Wos, LawrenceYear:
1973
Language:
english
DOI:
10.1016/s0049-237x(08)71923-2
File:
PDF, 1.53 MB
english, 1973