عنوان
پدید آورنده
موضوع
رده
QA 9 .D68 2011
QA
9
.
D68
2011
کتابخانه
محل استقرار
87051
Dowek, Gilles
Proofs and Algorithms: an introduction to logic and computability
London; New York
Springer
2011
xii, 155 p.: ill.
Undergraduate topics in computer science
Includes bibliographical references )p. 151( and index
Gilles Dowek
، Logic, Symbolic and mathematical
، Computer logic
، Proof theory
، Algorithms
QA
9
.
D68
2011
AU
TI
TI Introduction to logic and computability
SE
یاضه ریه دانشکدانابخکت
