Bookbot

Marie Duží

    Marie Duží
    Logika pro informatiky (a příbuzné obory)
    TIL jako procedurální logika : průvodce zvídavého čtenáře Transparentní intensionální logikou