عنوان
پدید آورنده
موضوع
رده
QA 9 .D66P7 2011
QA
9
.
D66P7
2011
کتابخانه
محل استقرار
9780857291202
767
انگلیسی
Gilles Dowek
London ;New York
Springer,
c2011
xii, 155 p. , ill. , 24 cm.
Series: Undergraduate topics in computer science.
Title
000
Includes bibliographical references )p. 151( and index.
Proofs and algorithms
an introduction to logic and computability
Logic, Symbolic and mathematical
Algorithms
004
D69P
.
015113
QA
9
.
D66P7
2011
Dowek, Gilles.
1
English Book
غیرمرجع
