Pavel Materna

Pavel Materna (born 21 April 1930) is a Czech philosopher, logician and key representative of transparent intensional logic. Provided by Wikipedia