TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikouMarie DužíÉpuiséPrévenez-moi
