دانلود کتاب Formal Systems and Recursive Functions: Proceedings of the Eighth Logic Colloquium, Oxford, July 1963
by John N. Crossley
|
عنوان فارسی: سیستم های رسمی و توابع بازگشتی: مجموعه مقالات هشتمین منطق ردهها، آکسفورد، ژوئیه 1963 |