رکورد قبلیرکورد بعدی

" Baybars al-Manṣūrī - Encyclopaedia of Islam, THREE "


Document Type : BL
Record Number : 726177
Doc. No : b545909
Main Entry : Melvin Fitting ...
Title & Author : Proof methods for modal and intuitionistic logics\ Melvin Fitting ...
Publication Statement : Dordrecht ; Boston ; Lancaster: D. Reidel, cop., 2010
Page. NO : 1 vol. (viii-555 p.) ; 23 cm
ISBN : 9048183812
: : 9789048183814
Notes : La couv. porte en plus: "Edited by Donald Davidson."
Contents : One / Background.- Two / Analytic Modal Tableaus and Consistency Properties.- Three / Logical Consequence, Compactness, Interpolation, and Other Topics.- Four / Axiom Systems and Natural Deduction.- Five / Non-Analytic Logics.- Six / Non-Normal Logics.- Seven / Quantifiers.- Eight / Prefixed Tableau Systems.- Nine / Intuitionistic Logic.- Special Notation.
Subject : ALei1371.pdf
:
:
:
:
کپی لینک

پیشنهاد خرید
پیوستها
عنوان :
نام فایل :
نوع عام محتوا :
نوع ماده :
فرمت :
سایز :
عرض :
طول :
ALei1371_4102.pdf
ALei1371.pdf
مقاله لاتین
متن
application/pdf
225.08 KB
85
85
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟