Вернуться к Подробностям о статье
Arithmetics based on computability logic
Скачать
Скачать PDF