کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابProof methods for modal and intuitionistic logics
پدیدآورنده: Fitting, Melvin, 1942-
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Proof theory ► Modality (Logic) ► Intuitionistic mathematics
رده :
511
F547p


Proof methods for modal and intuitionistic logics
پدیدآورنده: Melvin Fitting ...
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.
رده :
QA9
.
54
M458
2010

