درستی (منطق): تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات: حذف از رده:ویکیسازی رباتیک |
جز ربات:افزودن الگو ناوباکس {{منطق}} |
||
خط ۶۸:
* Boolos، Burgess، Jeffrey. ''Computability and Logic''، Vol. 4، Cambridge، 2002.
{{منطق}}
[[رده:برهانها]]
[[رده:برهانهای ریاضیات]]
| |||