Produkt
KlappentextThis 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.
Details
ISBN/GTIN978-3-030-87884-9
ProduktartBuch
EinbandartKartoniert, Paperback
Verlag
Erscheinungsjahr2022
Erscheinungsdatum05.12.2022
Auflage1st ed. 2021
Seiten222 Seiten
SpracheEnglisch
IllustrationenX, 222 p. 34 illus., 6 illus. in color.
Artikel-Nr.51307687
Rubriken