Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science - Zhe Hou - Books - Springer Nature Switzerland AG - 9783030878818 - December 4, 2021
In case cover and title do not match, the title is correct

Zhe Hou
Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 2021 edition

Price
$ 63.49
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jul 21 - 27
Get notified about new Zhe Hou releases

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Not rated yet

Also available as:

This textbook aims to help the reader develop an in-depth understanding of logical reasoning and gain knowledge of the theory of computation. Content-wise, this book focuses on the syntax, semantics and proof theory of various logics; This book is written for a high-level undergraduate course or a Master's course.

222 pages, 25 Illustrations, black and white; X, 222 p. 25 illus.

Media Books     Hardcover Book   (Book with hard spine and cover)
Released December 4, 2021
ISBN13 9783030878818
Publishers Springer Nature Switzerland AG
Pages 222
Dimensions 242 × 160 × 19 mm   ·   490 g
Language German  

More from the same publisher

See all of Zhe Hou ( e.g. Hardcover Book and Paperback Book )