La logique de l'assertion pure analyse des opérations fondamentales - La Harpe, Jean de (Presses universitaires de France, 1950)