Matches in Library of Congress for { <http://lccn.loc.gov/2001043153> ?p ?o. }
Showing items 1 to 20 of
20
with 100 items per page.
- 2001043153 contributor B8947677.
- 2001043153 created "2002.".
- 2001043153 date "2002".
- 2001043153 date "2002.".
- 2001043153 dateCopyrighted "2002.".
- 2001043153 description "Includes bibliographical references (p. 231-236) and index.".
- 2001043153 extent "xix, 245 p. ;".
- 2001043153 identifier "081764220X (alk. paper)".
- 2001043153 identifier 2001043153-d.html.
- 2001043153 identifier 2001043153-t.html.
- 2001043153 issued "2002".
- 2001043153 issued "2002.".
- 2001043153 language "eng".
- 2001043153 publisher "Boston : Birkhauser ; New York : Springer,".
- 2001043153 subject "004 21".
- 2001043153 subject "Computers.".
- 2001043153 subject "Electronic data processing.".
- 2001043153 subject "QA76 .K723 2002".
- 2001043153 title "Handbook of logic and proof techniques for computer science / Steven G. Krantz.".
- 2001043153 type "text".