Fundamentals of Logic and Computation
With Practical Automated Reasoning and Verification
Inbunden, Engelska, 2021
Av Zhe Hou
539 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Finns i fler format (1)
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.
Produktinformation
- Utgivningsdatum2021-12-04
- Mått155 x 235 x 19 mm
- Vikt490 g
- FormatInbunden
- SpråkEngelska
- SerieTexts in Computer Science
- Antal sidor222
- FörlagSpringer Nature Switzerland AG
- ISBN9783030878818
Tillhör följande kategorier
Hoppa över listan