دانلود کتاب Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987
by Wilfried Sieg (ed.)
|
عنوان فارسی: منطق و محاسبه: مجموعه مقالات کارگاه برگزار شده در دانشگاه کارنگی ملون، 30 ژوئن-1987 ژوئیه 2 |