عنوان
پدید آورنده
موضوع
رده
QA 9 .M86 2012
QA
9
.
M86
2012
کتابخانه
محل استقرار
English
Logic: a brief course
Milan
Springer
c2012
xi, 124 p.: ill
UNITEXT, La Matematica per il 3+2, 06
Includes index
Daniele Mundici
1
، Logic, Symbolic and mathematical
، Mathematics
، Computer science
، Semantics
QA
9
.
M86
2012
NO
6491-
Mundici, Daniele
AU
TI
SE
