Počet záznamů: 1
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls
Údaje o názvu Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls / Miroslav Mleziva Osobní jméno Mleziva, Miroslav, 1929-1990 (autor) Vyd.údaje Praha : Nakladatelství Československé akademie věd, 1959 Fyz.popis 67 s. Edice Rozpravy Československé akademie věd.; roč. 69, seš. 12 Poznámka Lit. Poznámka Res. čes. Předmět.hesla logika logic * matematická logika mathematical logic MDT 164 Země vyd. Česko Jazyk dok. němčina Druh dok. Knihy kniha
Signatura Čár.kód Lokace Dislokace Info SF2858 (KUP) 3139083583 Zbrojnice Ústřední knihovna UP - sklad Prezenčne do studovny
Počet záznamů: 1