دانلود کتاب 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 بخش دوم برگزار |