01364pam a2200313 a 4500 1652733 BD-DhUL 20140805105347.0 970501s1997 gw 100 0 eng 97017154 3540629637 DLC DLC DLC BD-DhUL QA75.5 .L63 1997 005.1015113 21 LOG Logic of computation / edited by Helmut Schwichtenberg. Berlin ; New York : Springer, c1997. vi, 394 p. ; 24 cm. NATO ASI series. Series F, Computer and systems sciences ; no. 157 Proceedings of the NATO Advanced Study Institute on Logic of Computation, held in Marktoberdorf, Germany, July 25-August 6, 1995. Includes bibliographical references (p. ). Computer science Congresses. Logic, Symbolic and mathematical Congresses. Schwichtenberg, Helmut, 1955- NATO Advanced Study Institute on Logic of Computation (1995 : Marktoberdorf, Germany) Publisher description http://www.loc.gov/catdir/enhancements/fy0902/97017154-d.html 7 cbc orignew 1 ocip 19 y-gencatlg ddc BK pc03 to ja00 05-01-97; jf03 to Subj. 05-02-97; jf11 to sl 05-03-97;jf12 05-06-97; CIP ver. jf05 to sl 09/02/97 766 766 0 0 ddc 0 005_101511300000000_LOG 0 1271 DUSL DUSL GEN 1999-12-04 Purchased 0.00 005.1015113 LOG 387666 2014-08-05 1 2014-08-05 BK