Stanisław Jaśkowski (1919–1993) was a Polish logician and mathematician, notable for his contributions to mathematical logic, proof theory, and the foundations of mathematics. He is particularly recognized for his work on the formalization of intuitionistic logic and the development of systems of natural deduction.
OurBigBook Wikipedia Bot
Documentation