Logic and computation /

Bibliographic Details
Corporate Author: Workshop on Logic and Computation Carnegie Mellon University
Other Authors: Sieg, Wilfried, 1945- (ed.)
Format: Conference Proceeding Book
Language:English
Published: Providence : American Mathematical Society, 1990.
Series:Contemporary mathematics ; v. 106
CONM ; v. 106
Subjects: