دانلود کتاب Computation and Proof Theory: Proceedings of the Logic Colloquium held in Aachen, July 18–23, 1983 Part II
by Klaus Ambos-Spies (auth.)|
|
عنوان فارسی: محاسبات و تئوری اثبات: مجموعه مقالات ردهها منطق در آخن، 18-23 ژوئیه، 1983 بخش دوم برگزار |


دانلود کتاب

این کتاب رو مطالعه کردید؟ نظر شما چیست؟