Einführung in die mathematische Logik Teil02 Prädikatenkalkül der ersten Stufe - Asser, Günter (Leipzig : Teubner, 1972)