آلونزو چرچ: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز ربات: جایگزینی پیوند جادویی شابک با الگو شابک
خط ۴۴:
 
== کتاب‌ها ==
* ''مقدمه‌ای بر منطق ریاضی''،<ref name="book1">''Introduction to Mathematical Logic''، {{ISBN |978-0-691-02906-1|en}}.</ref> آلونزو چرچ.<ref>{{cite journal|author=Henkin, Leon|title=Review: ''Introduction to Mathematical Logic'' by Alonzo Church|journal=Bull. Amer. Math. Soc.|year=1957|volume=63|issue=5|pages=320–323|url=http://www.ams.org/bull/1957-63-05/S0002-9904-1957-10129-3/S0002-9904-1957-10129-3.pdf}}</ref>
* ''محاسبات تبدیل-لاندا''،<ref name="book2">''The Calculi of Lambda-Conversion''، {{ISBN |978-0-691-08394-0|en}}.</ref> آلونزو چرچ.<ref>{{cite journal|authorlink=Orrin Frink|author=Frink Jr., Orrin|title=Review: ''The Calculi of Lambda-Conversion'' by Alonzo Church|journal=Bull. Amer. Math. Soc.|year=1944|volume=50|issue=3|pages=169–172|url=http://www.ams.org/bull/1944-50-03/S0002-9904-1944-08090-7/S0002-9904-1944-08090-7.pdf}}</ref>
* ''کتاب شناسی منطق نمادین، ۱۹۳۵-۱۶۶۶''،<ref name="book3">'' A Bibliography of Symbolic Logic, 1666–1935''، {{ISBN |978-0-8218-0084-3|en}}.</ref> آلونزو چرچ.
* ''منطق، معنی و محسابه: مقاله‌ای به یاد آلونزو چرچ''،<ref name="book4">''Meaning and Computation: Essays in Memory of Alonzo Church''، {{ISBN |978-1-4020-0141-3|en}}.</ref> آنتونی اندرسون، مایکل زلنی.
 
== جستارهای وابسته ==