Logical studies - Joachim Harold H (1948)