Einführung in die Mathematische Logik: Teil II Prädikatenkalkül der Ersten Stufe (Mathematisch-Naturwissenschaftliche Bibliothek, 19, Band 19)
Entdeckt die Struktur des Prädikatenkalküls erster Stufe, beleuchtet Quantoren, Bindungsregeln und Beweismethoden anhand anschaulicher Beispiele, um ...