فرمول خوش‌فرم: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
جز Hooman Mallahzadeh صفحهٔ فرمول‌های خوش فرم را به فرمول خوش فرم منتقل کرد: عنوان باید طبق قوانین ویکی‌پیدیا مفرد باشد (در نمونه انگلیسی هم مفرد است). |
نجات ۱ منبع و علامت‌زدن ۰ به‌عنوان مرده.) #IABot (v2.0.8.1 |
||
خط ۳۸:
* {{Citation|title=Toward Autotelic Learning of Mathematical Logic by the WFF 'N PROOF Games|year=1965|last1=Allen|first1=Layman E.|series=Monographs of the Society for Research in Child Development|journal=Mathematical Learning: Report of a Conference Sponsored by the Committee on Intellective Processes Research of the Social Science Research Council|volume=30|issue=1|pages=29–41}}
* {{Citation|title=Computability and Logic|year=2002|last1=Boolos|last2=Burgess|last3=Jeffrey|first1=George|first2=John|first3=Richard|author1-link=George Boolos|author3-link=Richard Jeffrey|edition=4th|publisher=[[Cambridge University Press]]|isbn=978-0-521-00758-0}}
* {{یادکرد خبر|url=http://www.umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html|title=He's Positively Logical|last=Ehrenberg|first=Rachel|date=Spring 2002|work=Michigan Today|publisher=University of Michigan|accessdate=2007-08-19|archiveurl=https://web.archive.org/web/20090208141433/http://umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html|archivedate=۸ فوریه ۲۰۰۹|dead-url=yes|عنوان=نسخه آرشیو شده|تاریخ بازبینی=25 ژوئن 2016|تاریخ بایگانی=8 فوریه 2009|پیوند بایگانی=https://web.archive.org/web/20090208141433/http://umich.edu/~newsinfo/MT/02/Spr02/mt9s02.html}}
* {{Citation|title=A mathematical introduction to logic|year=2001|last1=Enderton|first1=Herbert|edition=2nd|location=Boston, MA|publisher=[[Academic Press]]|isbn=978-0-12-238452-3}}
* {{Citation|title=Logic, Language, and Meaning, Volume 1: Introduction to Logic|year=1990|last1=Gamut|first1=L.T.F.|publisher=University Of Chicago Press|isbn=0-226-28085-3}}
| |||