Počet záznamů: 1
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls
kniha
Mleziva, Miroslav, 1929-1990 - Autor
Praha : Nakladatelství Československé akademie věd, 1959 - 67 s. ; 8°
Rozpravy Československé akademie věd. Řada společenských věd ;Signatura C 34.631 Umístění Info *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM* Údaje o názvu Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls / Miroslav Mleziva Záhlaví-jméno Mleziva, Miroslav, 1929-1990 (Autor) Vyd.údaje Praha : Nakladatelství Československé akademie věd, 1959 (KNT 05) Fyz.popis 67 s. ; 8° ISBN Kčs 4,80 Číslo nár. bibl. cnb000684709 Edice Rozpravy Československé akademie věd. Řada společenských věd ; 12 Poznámky Přeloženo z češtiny do němčiny. 800 výt.. Pozn. Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii Jazyková pozn. České resumé MDT 517.12:164.1(021)=3 , 40CNB Země vyd. Česko Jazyk dok. němčina Druh dok. KNIHY Studie jedná o zprostředkovaných způsobech axiomatizace maticově vymezených systémů výrokového kalkulu a provádí axiomatizaci jedenácti systémů dvouhodnotového kalkulu.Načítání…
Počet záznamů: 1