TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikouMarie DužíAusverkauft4,3Bewachen