2. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده : edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.
3. Proof methods for modal and intuitionistic logics
پدیدآورنده : Melvin Fitting ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Mathématiques intuitionnistes.,Modalité (logique),Théorie de la démonstration.
رده :
QA9
.
54
M458
2010
4. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
5. Types, Tableaus, and Gödel's God /
پدیدآورنده : by Melvin Fitting.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Metaphysics.,Ontology.,Philosophy (General),Philosophy.,Logic.,Metaphysics.,Ontology.,Philosophy.
رده :
BC1-199
