Matches in Library of Congress for { <http://lccn.loc.gov/92000510> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- 92000510 contributor B6612521.
- 92000510 created "1992-<2000 >".
- 92000510 date "1992".
- 92000510 date "1992-<2000 >".
- 92000510 dateCopyrighted "1992-<2000 >".
- 92000510 description "Includes bibliographical references and indexes.".
- 92000510 description "v. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.".
- 92000510 extent "v. <1-5 > :".
- 92000510 identifier "0198537352 (v. 1)".
- 92000510 identifier "0198537611 (v. 2) :".
- 92000510 identifier "019853762X (v. 3)".
- 92000510 identifier "0198537808 (v. 4)".
- 92000510 identifier "0198537816 (v. 5)".
- 92000510 identifier 92000510-d.html.
- 92000510 identifier 92000510-t.html.
- 92000510 issued "1992".
- 92000510 issued "1992-<2000 >".
- 92000510 language "eng".
- 92000510 publisher "Oxford : Clarendon Press ; New York : Oxford University Press,".
- 92000510 subject "004 20".
- 92000510 subject "Computer science.".
- 92000510 subject "Logic, Symbolic and mathematical.".
- 92000510 subject "QA76 .H2785 1992".
- 92000510 tableOfContents "v. 1. Background, mathematical structure -- v. 2. Background, computational structure -- v. 3. Semantic structures -- v. 4. Semantic modelling -- v. 5. Logic and algebraic methods.".
- 92000510 title "Handbook of logic in computer science / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum.".
- 92000510 type "text".