عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 L8 1989
QA
76
.
9
.
M35
L8
1989
کتابخانه
محل استقرار
2919a
2920aw
English
Lu, Chung-wan
Mathematical logic for computer science
Singapore, Teaneck, N.J.
World Scientific
1989
ix, 248 p. : ill. ; 23 cm
Includes bibliographical references and index
Lu Zhongwan
، Computer science -- Mathematics
، Logic, Symbolic and mathematical
QA
76
.
9
.
M35
L8
1989
AU
TI
مس علوه مرکزی پردیانابخکت
تموجود نیس
