Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995.
Published in cooperation with NATO Scientific Affairs Division.
Logic of computation. ISBN 3540629637. Published by Springer in 1997. Publication and catalogue information, links to buy online and reader comments.