Ivan Śleszyński : biography
Ivan SleshinskyAndrew Schumann. 2012. or Jan ŚleszyńskiStorrs McCall. Polish Logic 1920-1939. Oxford University Press. 1967. p. 13Jan Woleński. Mathematical logic in Poland 1900-1939: people, circles, institutions, ideas. Mod. Log. Volume 5, Number 4 (1995), pp. 367-368. () (1854–1931) was a Polish-Russian mathematician. He was born in Lysianka, Russian Empire to Polish parents.
Śleszyński’s main work was on continued fractions, least squares and axiomatic proof theory based on mathematical logic. He and Alfred Pringsheim, working separately, proved what is now called the Śleszyński–Pringsheim theorem.
His most important publications include: "Teoria dowodu" ("The theory of proof") in two volumes (1925, 1929), and "Teoria wyznaczników" ("The theory of determinants") (1926).P. S. Krzystek. "Teoria dowodu" Jana Śleszyńskiego. Ruch filozoficzny. Vol. 33. n. 3/4. 1975. Polskie Towarzystwo Filozoficzne. p. 338.