عنوان
پدید آورنده
موضوع
رده
QA169 .B975 2002
QA169
.
B975
2002
کتابخانه
محل استقرار
940159936X
9789401599368
b596539
Sheaves, Games, and Model Completions :
[Book]
a Categorial Approach to Nonclassical Propositional Logics
by Silvio Ghilardi, Marek Zawadowski.
Dordrecht
Springer
2002
(IX, 245 Seiten)
Trends in Logic, Studia Logica Library, 14
Artificial intelligence.
Logic.
Philosophy (General)
QA169
.
B975
2002
by Silvio Ghilardi, Marek Zawadowski.
Marek Zawadowski
Silvio Ghilardi
مطالعه متن کتاب [Book]
Y
