Handbook of logic in computer science

Author Statement

edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum

Publication

Clarendon Press

Publication Year

1992-

Collation

v. <1-2 >: ill.; 25 cm

Contents

v. 1. Background, mathematical structure -- v. 2. Background, computational structure

Subject

Computer science,Logic, Symbolic and mathematical

ADDED ENTRIES

Abramsky, Samson, 1953-

Holding Info.

0198537352

Original By

76/05

DocumentNumber

16824

Biblography

Includes bibliographical references and indexes

Link To Document