LC CutterNumber :
.L59,L64
Author Statement :
John N. Crossley ... [et al.], editors
Collation :
813 p.: ill.; 24 cm
Series :
Progress in computer science and applied logic ; v. 12
Subject :
Logic programming,Logic, Symbolic and mathematical
ADDED ENTRIES :
Crossley, John N
Holding Info. :
0817636900
SubTitle :
: in honor of Anil Nerodeʹs sixtieth birthday
Biblography :
Includes bibliographical references
