IR
EN-26783
انگلیسی
IR
Proofs and algorithms: An introduction to logic and computability
[Book]
/ Gilles Dowek (auth.)
Verlag London-Springer
, 2011.
Electronic
COMPUTER SCIENCE, INFORMATION TECHNOLOGY
E-BOOK
Gilles Dowek (auth.)
ایران
Proofs and algorithms: An introduction to logic and computability
عادی
محرمانه
1584670.pdf
متن
old catalog
e
BL
1
a
Y
