Recherches Sur la Déduction Logique = Untersuchungen Über Das Logische Schliessen