von
Preis unbekannt
Jon Barwise
Languages Mathematische Logik Syntax compactness theorem computability theory logic model theory proof