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