Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005649101/catalog> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- catalog contributor b7958846.
- catalog contributor b7958847.
- catalog contributor b7958848.
- catalog created "1992-2000.".
- catalog date "1992".
- catalog date "1992-2000.".
- catalog dateCopyrighted "1992-2000.".
- catalog description "Includes bibliographical references and indexes.".
- catalog description "v. 1. Background: mathematical structure -- v. 2. Background: computational structures -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.".
- catalog extent "5 v. :".
- catalog identifier "0198537352 (v. 1)".
- catalog identifier "0198537611 (v. 2) :".
- catalog issued "1992".
- catalog issued "1992-2000.".
- catalog language "eng".
- catalog publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- catalog subject "004 20".
- catalog subject "Computer science.".
- catalog subject "Logic, Symbolic and mathematical.".
- catalog subject "QA76 .H2785 1992".
- catalog tableOfContents "v. 1. Background: mathematical structure -- v. 2. Background: computational structures -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.".
- catalog title "Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.".
- catalog type "text".