Title: Sprache, Beweis und Logik. Band I