The "Entscheidungsproblem" in Leibniz and in Descartes / Witold Marciszewski. - Marciszewski, Witold (1930- ).