در حال بارگذاری…
مقدمات منطق، ویرایش سوم
ویرایش جدیدی از یک مقدمه جامع، دقیق و در عین حال مختصر بر منطق نمادین. «مقدمات منطق» تعاریف مختصری از مفاهیم کلیدی، مثال‌های گویا و تمرین‌هایی را ارائه می‌دهد.
ویرایش جدیدی از یک مقدمه جامع، دقیق و در عین حال مختصر بر منطق نمادین. «مقدمات منطق» تعاریف مختصری از مفاهیم کلیدی، مثال‌های گویا و تمرین‌هایی را ارائه می‌دهد. پس از ارائه تعاریف اعتبار و صحت، کتاب به معرفی زبان صوری، نظریه اثبات و معناشناسی صوری برای منطق گزاره‌ای و منطق مرتبه اول می‌پردازد.
از کتابخانهٔ نویسنده
انتخابهای نزدیک به این کتاب
ربکا استات
تور نوررتارندرس
جان براکمن
پل هاوکن
توماس آر. ورنی
ژنویو فون پیتزینگر