Recursively enumerable sets of positive integers and their decision problems

Bulletin of the American Mathematical Society - Tập 50 Số 5 - Trang 284-316
Emil L. Post

Tóm tắt

Từ khóa


Tài liệu tham khảo