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

جز
ربات: جایگزینی پیوند جادویی شابک با الگو شابک
جز (ربات: جایگزینی پیوند جادویی شابک با الگو شابک)
{{پانویس}}
{{چپ‌چین}}
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. {{ISBN |0-387-96170-4|en}}
{{پایان چپ‌چین}}
{{علوم سامانه‌ها}}