Achievements He is considered to be the founder of mathematical logic in the Czechoslovakian Republic and Slovakia, having begun his work around 1957.
