Formal Systems and Recursive Functions: Proceedings, 8th Logic Colloquium

Hardcover

details (USA).

ISBN: 978-0-7204-2231-3

ISBN-10: 0-7204-2231-0

Elsevier Science Publishing Co Inc.,U.S.