| |
|
| Artikel-Nr.: 858A-9783827413871 Herst.-Nr.: 9783827413871 EAN/GTIN: 9783827413871 |
| |
|
| | |
| This outstanding paperback book is a brief introduction to modern mathematical logic for advanced undergraduate students of mathematics, logic, and computer science. The work is carefully written and covers a broad spectrum of important topics. (..) Gut verständlich - aber exakt mit schönen Beweisen - werden schon für Erstsemester verschiedenster Disziplinen die Grundlagen der Aussagen- und Prädikatenlogik, der Modell- und Endscheidbarkeitstheorie sowie Mengenlehre behandelt. (..) Da die Kenntniss mathematisch-logischer Verfahren nicht nur für die allgemeine Grundlagenforschung wichtig, sondern auch im Zusammenhang mit der Computertechnik von Bedeutung ist, möchte ich das Buch dringend zur Erst- oder Nachbeschaffung empfehlen. ekz.bibliotheksservice Weitere Informationen: | | Author: | Hans P. Tuschik; Helmut Wolter | Verlag: | Spektrum Akademischer Verlag | Sprache: | ger |
|
| | |
| | | |
| Weitere Suchbegriffe: Logik, Philosophie / Logik, Mathematik / Logik |
| | |
| |