549:-
Uppskattad leveranstid 5-10 arbetsdagar
Fri frakt för medlemmar vid köp för minst 249:-
Andra format:
- Pocket/Paperback 549:-
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.
- Format: Inbunden
- ISBN: 9783030878818
- Språk: Engelska
- Antal sidor: 222
- Utgivningsdatum: 2021-12-04
- Förlag: Springer Nature Switzerland AG