Matches in Library of Congress for { <http://lccn.loc.gov/2009281331> ?p ?o. }
Showing items 1 to 18 of
18
with 100 items per page.
- 2009281331 contributor B11464680.
- 2009281331 created "2009.".
- 2009281331 date "2009".
- 2009281331 date "2009.".
- 2009281331 dateCopyrighted "2009.".
- 2009281331 description "Includes bibliographical references (p. 631-667) and index.".
- 2009281331 extent "xix, 681 p. :".
- 2009281331 identifier "0521899575 (hbk.)".
- 2009281331 identifier "9780521899574 (hbk.)".
- 2009281331 issued "2009".
- 2009281331 issued "2009.".
- 2009281331 language "eng".
- 2009281331 publisher "Cambridge ; New York : Cambridge University Press,".
- 2009281331 subject "006.333 22".
- 2009281331 subject "Computer logic.".
- 2009281331 subject "QA76.9.L63 H375 2009".
- 2009281331 title "Handbook of practical logic and automated reasoning / John Harrison.".
- 2009281331 type "text".