Mathematized humanities via humanized mathematics - Polák, Václav, 1932-1994 (Davay, 1992)