عنوان
پدید آورنده
موضوع
رده
QA 9 .A1,L64 1991
QA
9
.
A1
,
L64
1991
کتابخانه
محل استقرار
انگلیسی
Logic from computer science
Y.N. Moschovakis, editor
New York
Springer-Verlag
c1992
xi, 608 p. : ill. ; 24 cm
, 1773 , 2-1
Mathematical Sciences Research Institute publications ; v. 21
proceedings of a workshop held November 13-17, 1989
Includes bibliographical references.
Logic, Symbolic and mathematical -- Congresses
Computer science -- Congresses
QA
9
.
A1
,
L64
1991
AU
Moschovakis, Yiannis N
