آلونزو چرچ: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات:انتقال رده > رده:ریاضیدانان اهل آمریکا به رده:ریاضیدانان اهل ایالات متحده آمریکا به درخواست World Cup 2010 |
جز ربات: جایگزینی پیوند جادویی شابک با الگو شابک |
||
خط ۴۴:
== کتابها ==
* ''مقدمهای بر منطق ریاضی''،<ref name="book1">''Introduction to Mathematical Logic''، {{ISBN
* ''محاسبات تبدیل-لاندا''،<ref name="book2">''The Calculi of Lambda-Conversion''، {{ISBN
* ''کتاب شناسی منطق نمادین، ۱۹۳۵-۱۶۶۶''،<ref name="book3">'' A Bibliography of Symbolic Logic, 1666–1935''، {{ISBN
* ''منطق، معنی و محسابه: مقالهای به یاد آلونزو چرچ''،<ref name="book4">''Meaning and Computation: Essays in Memory of Alonzo Church''، {{ISBN
== جستارهای وابسته ==
|