"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)
"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." - Zentralblatt MATH
"(..) 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
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. Zentralblatt MATH (..) 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
"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)"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." (Zentralblatt MATH)
Dr. sc. Hans-Peter Tuschik ist Privatdozent und lehrt am Institut für Mathematik der Humboldt-Universität zu Berlin.
