Logic of computation / edited by Helmut Schwichtenberg. Schwichtenberg, Helmut, 1955- NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany) Computer science Congresses. Logic, Symbolic and mathematical Congresses. QA75.5 .L63 1997 005.1015113 21 LOG Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995. Includes bibliographical references (p. ). Berlin ; New York : Springer, c1997. c1997. 1997 Text vi, 394 p. ; http://www.loc.gov/catdir/enhancements/fy0902/97017154-d.html eng NATO ASI series. Series F, Computer and systems sciences ; no. 157