PRANTL , Carl , Geschichte der Logik ira Åbendlande.