تفاوت میان نسخه‌های «دستگاه صوری»

جز
Bot:Romaniztion of ISBN
جز (ربات:تصحیح شابک)
جز (Bot:Romaniztion of ISBN)
== منابع ==
{{چپ‌چین}}
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN ۰0-۳۸۷387-۹۶۱۷۰96170-۴4
{{پایان چپ‌چین}}
 
۵۹۲٬۸۸۴

ویرایش