Matches in Library of Congress for { <http://lccn.loc.gov/96043297> ?p ?o. }
Showing items 1 to 23 of
23
with 100 items per page.
- 96043297 contributor B7785549.
- 96043297 contributor B7785550.
- 96043297 created "c1997.".
- 96043297 date "1997".
- 96043297 date "c1997.".
- 96043297 dateCopyrighted "c1997.".
- 96043297 description "Includes bibliographical references (p. [409]-438) and indexes.".
- 96043297 extent "xiii, 456 p. :".
- 96043297 identifier "0387948937 (New York : hc : acid-free paper)".
- 96043297 identifier 96043297-d.html.
- 96043297 identifier 96043297-t.html.
- 96043297 isPartOf "Graduate texts in computer science (Springer-Verlag New York Inc.)".
- 96043297 isPartOf "Graduate texts in computer science".
- 96043297 issued "1997".
- 96043297 issued "c1997.".
- 96043297 language "eng".
- 96043297 publisher "New York : Springer,".
- 96043297 subject "005.1/01/5113 20".
- 96043297 subject "Computer science Mathematics.".
- 96043297 subject "Logic, Symbolic and mathematical.".
- 96043297 subject "QA76.9.M35 N47 1997".
- 96043297 title "Logic for applications / Anil Nerode, Richard A. Shore.".
- 96043297 type "text".