عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
9788847018839
9788847018846
b505777
Logica: Metodo Breve
[Book]
by Daniele Mundici.
Milano :
Springer Milan,
2011.
UNITEXT,
1
2038-5714 ;
Computer science.
Logic, Symbolic and mathematical.
Mathematics.
Semantics.
Mundici, Daniele,1946-
SpringerLink (Online service)
20131018112338.0
مطالعه متن کتاب [Book]
Y
