Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinator - Raclavský, Jiří, 1974- (Masarykova universita, 2015)