Fundamentals of logic and computation. with practical automated reasoning and verification, 1st ed. 2021, paperback/zhe hou

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 Masters course.

Publisher: Springer Nature Switzerland AG Author(s): Zhe Hou Illustration(s): 6 Illustrations, color; 28 Illustrations, black and white; X, 222 p.

34 illus.

, 6 illus.

in color.

Number of pages: 222 Collection: Texts in Computer Science Publication date: 2022 Dimensions: 155 x 233 x 17 Cover type: Paperback / softback.