Počet záznamů: 1  

Algebry formalizující výrokové logiky

  1. Údaje o názvuAlgebry formalizující výrokové logiky / Ivan Chajda
    Osobní jméno Chajda, Ivan, 1946- (autor)
    Údaje o vydání1. vyd.
    Vyd.údajeOlomouc : Univerzita Palackého v Olomouci, 2013
    Fyz.popis62 s. : il.
    ISBN978-80-244-3915-0 (brož.)
    EdiceSkripta
    Edice/vedl.záhl. Univerzita Palackého. Skripta
    PoznámkaNa obálce nad názvem: Univerzita Palackého v Olomouci, Přírodovědecká fakulta
    Poznámky o skryté bibliografii a rejstřícíchObsahuje bibliografii a rejstřík
    Určeno proobor diskrétní matematika
    Dal.odpovědnost Univerzita Palackého. Přírodovědecká fakulta
    Předmět.hesla výroková logika propositional calculus * algebraické struktury algebraic structures
    Forma, žánr vysokoškolská skripta college textbooks
    Konspekt512 - Algebra
    37.016 - Učební osnovy. Vyučovací předměty. Učebnice
    MDT 510.633 , 512.5 , (075.8)
    Země vyd.Česko
    Jazyk dok.čeština
    Druh dok.Knihy
    SignaturaČár.kódLokaceDislokaceInfo
    M1/3179 (PřF)3134039667PřFPřF, KnihovnaDoba výp. 30 dní
    M1/3179a (PřF)3134039668PřFPřF, KnihovnaDoba výp. 30 dní
    M1/3179b (PřF)3134040148PřFPřF, KnihovnaDoba výp. 30 dní
    M1/3179c (PřF)3134040149PřFPřF, KnihovnaDoba výp. 30 dní
    M1/3179d (PřF)3134040150PřFPřF, KnihovnaDoba výp. 30 dní
    M1/3179e (PřF)3134040151PřFPřF, KnihovnaDoba výp. 30 dní
    M1/3179f (PřF)3134040152PřFPřF, KnihovnaDoba výp. 30 dní
    540/75 (KUP)3139275860ZbrojniceÚstřední knihovna UP - matematikapouze prezenčně
    Algebry formalizující výrokové logiky

Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.