قابلیت حل ، قابلیت اثبات ، تعریف پذیری: مجموعه آثار Emil L. Post
Solvability, Provability, Definability: The Collected Works of Emil L. Post
نویسنده: Martin Davis (editor)
ناشر: Birkhäuser
سال انتشار: 1994
تعداد صفحات: 582
زبان: English
فرمت: pdf - قابل تبدیل به سایر فرمت ها
حجم فایل: 32 مگابایت