Mathematische Logik

Wie l� t sich formalisieren, was mit dem, was gemeinhin als Mathematik bezeichnet wird, ausdr�ckbar ist? Dieser fundamentalen Aufgabe widmet sich die mathematische Logik. Dieses Buch f�hrt in die verschiedenen Aspekte der mathematischen Logik ein. Es beginnt mit einer Darstellung des Pr�dikatenkalk�ls und seinen Anwendungen in der k�nstlichen Intelligenz. Daraufhin wird die Mengenlehre axiomatisch eingef�hrt.