کتاب الکترونیکی

استنتاج طبیعی: یک مطالعه اثباتی-نظری

Natural deduction: A proof-theoretical study

دانلود کتاب Natural deduction: A proof-theoretical study (به فارسی: استنتاج طبیعی: یک مطالعه اثباتی-نظری) نوشته شده توسط «Dag Prawitz»

اطلاعات کتاب استنتاج طبیعی: یک مطالعه اثباتی-نظری

موضوع اصلی: منطق

نوع: کتاب الکترونیکی

ناشر: Dover Publications

نویسنده: Dag Prawitz

زبان: English

فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها)

سال انتشار: 2006

تعداد صفحه: 115

حجم کتاب: 1 مگابایت

کد کتاب: 0486446557 , 9780486446554

توضیحات کتاب استنتاج طبیعی: یک مطالعه اثباتی-نظری

نظریه‌های پراویتز اساس نظریه نوع شهودی را تشکیل می‌دهند، و اصل وارونگی او پایه و اساس بیشتر گزارش‌های مدرن از معناشناسی اثباتی-نظری را تشکیل می‌دهد. سیستم اثبات نظری روشی ساده‌تر و روشن‌تر از روش‌های جایگزین را نشان می‌دهد، و این جلد تصویری مختصر و منسجم از کاربردهای آن در استنتاج طبیعی ارائه می‌دهد. نسخه 1965.

Prawitz’s theories form the basis of intuitionistic type theory, and his inversion principle constitutes the foundation of most modern accounts of proof-theoretic semantics. The proof-theoretical system represents a simpler and more illuminating method than alternative approaches, and this volume offers a succinct, coherent illustration of its applications to natural deduction. 1965 edition.

دانلود کتاب «استنتاج طبیعی: یک مطالعه اثباتی-نظری»

مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.

برای دریافت کد تخفیف ۲۰ درصدی این کتاب، ابتدا صفحه اینستاگرام کازرون آنلاین (@kazerun.online ) را دنبال کنید. سپس، کلمه «بلیان» را در دایرکت ارسال کنید تا کد تخفیف به شما ارسال شود.

برچسب ها
مبلغی که بابت خرید کتاب می‌پردازیم به مراتب پایین‌تر از هزینه‌هایی است که در آینده بابت نخواندن آن خواهیم پرداخت.
کتابخانه دیجیتال بَلیان