Förf. , som är professor i logikoch