Logic of computation
By: edited by Helmut Schwichtenberg.
Contributors: Schwichtenberg, Helmut, 1955-; NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany)
Series: NATO ASI series.; no. 157
Publisher: Springer
Published: 1997
Place of publication: Berlin; New York
Language: eng
Number of pages: 394
Subjects: Computer science -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references (p. ).
Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.