00996nam a22002531 4500 1/10590 970715s1992 enk f 001 eng d 0198537352 10939 DLC GR-PeUP 004 HA Handbook of logic in computer science / ed by S.Abramsky, Dov M.Gabbay, and T.S.E.Maibaum. Oxford : Clarendon Press, 1992. 2 v. : Fig.,tab. ; 21 cm. Includes bibliographical references and index. V.1. Background: mathematical structures -- V.2. Background: computational structures Computer science. Computer science Handbook, manuals. Abramsky, S. Gabbay, Dov M. Maibaum, T.S.E. INST UNIPILB MAIN 20040709 004 HA 00126349 00126349 LOAN v.1: 0 v.1 1 INST UNIPILB MAIN 20040709 004 HA 00126350 00126350 LOAN v.2: 0 v.2 1 /webopac/covers/01/10939_0198537352.jpg