دستگاه صوری: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
جز ربات ردهٔ همسنگ (۳۰.۱) +مرتب (۱۴.۹ core): + رده:هند در سده ۴ (پیش از میلاد) |
جز ربات: جایگزینی پیوند جادویی شابک با الگو شابک |
||
خط ۹:
{{پانویس}}
{{چپچین}}
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. {{ISBN
{{پایان چپچین}}
{{علوم سامانهها}}
| |||