عنوان
پدید آورنده
موضوع
رده
QA 9 .N53 2002
QA
9
.
N53
2002
کتابخانه
محل استقرار
78238
English
Nievergelt, Yves
Foundations of logic and mathematics : applications to computer science and cryptography
Boston
Birkhauser
c2002
xvi, 415 p. : ill. ; 26 cm
Includes bibliographical references )p. ]399[-404( and index
Yves Nievergelt
، Logic, Symbolic and mathematical
، Set theory
، Number theory
، Computer science -- Mathematics
QA
9
.
N53
2002
AU
TI
یاضه ریه دانشکدانابخکت
