Fundamentals of Logic and Computation
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:
9783030878849
GTIN:
9783030878849
Author
|
Hou, Zhe |
Pub Date
|
04/12/2022 |
Binding
|
Paperback / softback |
Pages
|
222 |