An edition of Handbook of logic and proof techniques for computer science (2002)

Handbook of logic and proof techniques for computer science

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Handbook of logic and proof techniques for co ...
Steven G. Krantz
Not in Library

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read
Notes

Check nearby libraries

Buy this book

Last edited by MARC Bot
April 16, 2010 | History
Edit
An edition of Handbook of logic and proof techniques for computer science (2002)

Handbook of logic and proof techniques for computer science

by

  • 0 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 0 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
Birkhauser, Springer
Language
English
Pages
245

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Electronic data processing, Computers

Showing 3 featured editions. View all 3 editions?

Edition Availability
Cover of: Handbook of logic and proof techniques for computer science
Handbook of logic and proof techniques for computer science
2002, Springer
Unknown Binding in English
Libraries near you: WorldCat
Cover of: Handbook of logic and proof techniques for computer science
Handbook of logic and proof techniques for computer science
2002, Birkhauser, Springer
in English
Libraries near you: WorldCat
Cover of: Handbook of Logic and Proof Techniques for Computer Science
Handbook of Logic and Proof Techniques for Computer Science
January 17, 2002, Birkhäuser Boston
Hardcover in English - 1 edition
Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

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

Published in
Boston, New York

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
ISBN 10
081764220X
LCCN
2001043153
Goodreads
2003203

Source records

Library of Congress MARC record

First Sentence

"An elementary statement (or atomic statement) is a sentence with a subject and a verb (and sometimes an object) but no connectives (and, or, not, if-then, if-and-only-if)."

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Download catalog record: RDF / JSON / OPDS | Wikipedia citation
November 14, 2023 Edited by MARC Bot import existing book
February 25, 2022 Edited by ImportBot import existing book
December 3, 2020 Edited by MARC Bot import existing book
May 18, 2020 Edited by CoverBot Added new cover
July 5, 2019 Edited by ImportBot import existing book