TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou2012Track