Вернуться к Подробностям о статье
Formal polynomials, heuristics and proofs in logic
Скачать
Скачать PDF