Fundamentals of Logic and Computation
Zhe Hou
Springer Nature Switzerland AG, 2021
79,75 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9783030878818
- ISBN-10
- 3030878813
- Publisher
- Springer Nature Switzerland AG
- Year
- 2021
- Publication date
- 2021-12-04
- Pages
- 222
- Dimensions
- 160x242x19
- Weight
- 490