دانلود کتاب Proceedings of the Logic Colloquium. Held in Aachen, July 18-23, 1983: Part 2: Computation and Proof Theory
by M. M. Richter
|
عنوان فارسی: مجموعه مقالات منطق ردهها. برگزاری آخن، 18-23 ژوئیه، 1983: قسمت 2: محاسبات و تئوری اثبات |