2. Beyond Two: Theory and Applications of Multiple-Valued Logic
پدیدآورنده : edited by Melvin Fitting, Ewa Orłowska.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra.,Artificial intelligence.,Computer science.,Logic design.
3. Proof methods for modal and intuitionistic logics
پدیدآورنده : Melvin Fitting ...
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : 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
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140