عنوان
پدید آورنده
موضوع
رده
BC 71 .L62 2012
BC
71
.
L62
2012
کتابخانه
محل استقرار
electronic
Mundici, Daniele
Logic : a brief course
Milan
Springer Verlag, cop.
2012
xi, 124 p. : il. ; 24 cm
Unitext, 06
Daniele Mundici; Krzysztof R Apt
، Mathematics
، Computer science
، Logic, Symbolic and mathematical
BC
71
.
L62
2012
AU
AU Apt, Krzysztof R
