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