Cover of: Handbook of logic and proof techniques for computer science | Steven G. Krantz

Handbook of logic and proof techniques for computer science

Published by Birkhauser, Springer in Boston, New York .
Written in English.

There's no description for this book yet. Can you add one?

Edition Notes

Includes bibliographical references (p. 231-236) and index.

Classifications

Dewey Decimal Class
004
Library of Congress
QA76 .K723 2002

The Physical Object

Pagination
xix, 245 p. ;
Number of pages
245

ID Numbers

Open Library
OL23155463M
Internet Archive
handbookoflogicp0000kran
ISBN 10
081764220X
LC Control Number
2001043153
Library Thing
5231481
Goodreads
2003203
Borrow

Download ebook for print-disabled Download Protected DAISY


Prefer the physical book? Check nearby libraries with:


Buy this book


History

Download catalog record: RDF / JSON / OPDS
July 5, 2019 Edited by ImportBot import existing book
November 18, 2018 Edited by Clean Up Bot import existing book
August 19, 2010 Edited by IdentifierBot added LibraryThing ID
April 16, 2010 Edited by bgimpertBot Added goodreads ID.
May 4, 2009 Created by ImportBot Initial record created, from Library of Congress MARC record.