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

۵۵ بایت اضافه‌شده ،  ۳ سال پیش
جز
{{پانویس}}
{{چپ‌چین}}
Ebbinghaus, H. -D., Flum, J., and Thomas, W. ''Mathematical logic'', Springer-Verlag New* York Inc., ۱۹۸۴. ISBN 0-387-96170-4
{{پایان چپ‌چین}}
{{علوم سامانه‌ها}}
{{منطق}}
{{دانش محاسبه‌پذیر}}
 
{{منطق-خرد}}
 
[[رده:سیستم صوری]]
[[رده:روش‌های صوری]]
[[رده:فرامنطق]]
[[رده:منطق ریاضی]]
[[رده:هند در سده ۴ (پیش از میلاد)]]
۴٬۴۰۵٬۷۹۲

ویرایش