Inhaltslogik et theorematic reasoning - Heinzmann, Gerhard (My University, 1994)