LC CutterNumber :
.A1,L64
Title :
Logic from computer science
Author Statement :
Y.N. Moschovakis, editor
Publication :
Springer-Verlag
Collation :
xi, 608 p.: ill.; 24 cm
Series :
Mathematical Sciences Research Institute publications ; v. 21
Subject :
Logic, Symbolic and mathematical- Congresses,Computer science- Congresses
ADDED ENTRIES :
Moschovakis, Yiannis N
Holding Info. :
0387976671
SubTitle :
: proceedings of a workshop held November 13-17, 1989
Biblography :
Includes bibliographical references
