Number of the records: 1
Formal'nyj vyvod i logičeskije isčislenija
book
Smirnov, Vladimir Aleksandrovič, 1931-1996 - Author
Moskva : Nauka, 1972 - 270 s.
symbolická logika
studieCall number C 86.516 Umístění Info *RETROKATALOGIZACE - ZKRÁCENÝ ZÁZNAM* Údaje o názvu Formal'nyj vyvod i logičeskije isčislenija / V.A. Smirnov Záhlaví-jméno Smirnov, Vladimir Aleksandrovič, 1931-1996 (Autor) Vyd.údaje Moskva : Nauka, 1972 Fyz.popis 270 s. Poznámky Akad. nauk SSSR. Inst. filosofii Předmět.hesla symbolická logika Forma, žánr studie Konspekt 16 - Logika MDT 164.01 , (048.8) Země vyd. Rusko Jazyk dok. ruština Druh dok. KNIHY Loading…
Number of the records: 1