Handbook of logic in computer science/ edited by S.Abramsky,Dov M.Gabbay and T.S.E.Maibaum
Material type:
TextLanguage: English Publication details: Oxford : The University Press, 1992Description: - v.; 24 cmISBN: - 0198537352(v.1)
- 0198537611(v.2)
- 511.3 23 H 191
| Item type | Current library | Collection | Call number | Materials specified | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
|
|
National Library of India New English - Main Stack Division | New English | E 511.3 H 191 (Browse shelf(Opens below)) | HBK | V. 2 | Available | PUR000521551ENG | |||
|
|
National Library of India New English - Main Stack Division | New English | E 511.3 H 191 (Browse shelf(Opens below)) | HBK | V. 1 | Available | PUR000521550ENG |
Includes bibliographical references and index
Contents:v.1.Background:Mathematical structures. - xii,827p.-v.2. Bacground: computational structures. - 571p.
There are no comments on this title.
