Mathematische Logik von Heinz-Dieter Ebbinghaus (Englisch) Hardcover Buch
87,16 €
By Heinz-Dieter Ebbinghaus, Wolfgang Thomas, Jörg Flum. His research interests focus on logic in computer science, in particular logical aspects of automata theory. What is a mathematical proof?. How can mathematical proofs be justified?.
Jetzt bei Ebay:
