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

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition

Zhe Hou

Price
$ 61.49

Ordered from remote warehouse

Expected delivery May 27 - Jun 4

Our customers say:

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

Fundamentals of Logic and Computation: With Practical Automated Reasoning and Verification - Texts in Computer Science 1st ed. 2021 edition

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, 6 Illustrations, color; 28 Illustrations, black and white; X, 222 p. 34 illus., 6 illus.

Media Books     Paperback Book   (Book with soft cover and glued back)
Released December 5, 2022
ISBN13 9783030878849
Publishers Springer Nature Switzerland AG
Pages 222
Dimensions 233 × 155 × 17 mm   ·   366 g
Language German  

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