Matematisk logik
Filter
An introduction to elementary logic, the practice of formal reasoning. This text is designed to help the reader to reason systematically, reliably, and to some extent …
The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from …
The book is a concise, self-contained and fully updated introduction to automata theory – a fundamental topic of computer sciences and engineering. The material is presented in a …
Mathematical Logic: An Introduction is a textbook that uses mathematical tools to investigate mathematics itself. In particular, the concepts of proof and truth are examined. The …