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