Dieses Buch bietet eine Einf hrung in die verschiedenen Aspekte der mathematischen Logik. Nach dem Praedikatenkalk l und seinen Anwendungen auf die Anf nge der k nstlichen Intelligenz stellt der Autor die Mengenlehre axiomatisch dar. Im dritten und vierten Teil f hrt er die Grundbegriffe der Berechenbarkeitstheorie und die Hierarchie der Teilmengen ein, um schlie lich die G delschen Unvollst ndigkeitss tze zu beweisen. Dieser Band zeichnet sich...