دانلود کتاب Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning

Name: Introduction to Annotated Logics: Foundations for Paracomplete and Paraconsistent Reasoning
Availability: InStock
Author: Jair Minoro Abe
ISBN: 9783319179117, 9783319179124

by Jair Minoro Abe

عنوان فارسی: معرفی مشروح منطق: مبانی برای Paracomplete و Paraconsistent استدلال
ناشر: Springer International Publishing
سال: 2015
ویرایش: 1
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 190
شابک: 9783319179117, 9783319179124
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 3.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This book is written as an introduction to annotated logics. It provides logical foundations for annotated logics, discusses some interesting applications of these logics and also includes the authors' contributions to annotated logics. The central idea of the book is to show how annotated logic can be applied as a tool to solve problems of technology and of applied science. The book will be of interest to pure and applied logicians, philosophers and computer scientists as a monograph on a kind of paraconsistent logic. But, the layman will also take profit from its reading.

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!