Handbook of logic and proof techniques for computer science
2002245 pages
Birkhauser·3 editions
Loading Description
Tags
NewBookshelves
0 readersNo users with this book on their shelves. Maybe you could be the first.
Threads
0 discussionsQuotes
0 quotesReviews
0 reviewsNo reviews yet. Add your review.
Lists
0 listsNo lists containing this book.
Purchasable Editions
1 editionsThe Amazon links are affiliate links
Handbook of logic and proof techniques for computer science (2002)
Handbook of logic and proof techniques for computer science (2002)
Birkhauser, Springer
Birkhauser, Springer
ISBN 10: 081764220X