Formale logic (Walter de Gruyter, 1967)