Transparentní intenzionální logika jako characteristica universalis a calculus ratiocinatorIvo PezlarVyprodánoPohlídat