Matches in Library of Congress for { <http://lccn.loc.gov/99015233> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 99015233 contributor B8634873.
- 99015233 contributor B8634874.
- 99015233 created "2000.".
- 99015233 date "2000".
- 99015233 date "2000.".
- 99015233 dateCopyrighted "2000.".
- 99015233 description "Includes bibliographical references (p. 375-377).".
- 99015233 extent "xviii, 387 p. :".
- 99015233 identifier "0521652006".
- 99015233 identifier "0521656028 (pbk.)".
- 99015233 identifier 99015233.html.
- 99015233 identifier 99015233.html.
- 99015233 issued "2000".
- 99015233 issued "2000.".
- 99015233 language "eng".
- 99015233 publisher "Cambridge, [England] ; New York : Cambridge University Press,".
- 99015233 subject "Computer logic.".
- 99015233 subject "QA76.9.L63 H88 2000".
- 99015233 title "Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.".
- 99015233 type "text".