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.
Articles by others on the same topic
There are currently no matching articles.