Number of the records: 1
Über das Enthaltensein des klassischen Aussagenkalküls in der nicht-klassischen Aussagenkalkülen
Main entry-name Mleziva, Miroslav, 1929-1990 (author) Title statement Über das Enthaltensein des klassischen Aussagenkalküls in der nicht-klassischen Aussagenkalkülen = O obsažení klasického výrokového kalkulu v neklasických výrokových kalkulech / Miroslav Mleziva Issue data Praha : Academia, 1966 Phys.des. 71 s. Edition Rozpravy Československé akademie věd. Řada společenských věd ; Ročník 76 - sešit 13 Subj. Headings logika matematická logika kalkulace Conspect 51 - Matematika UDC 51 Country Česko Language German Copy count 1, currently available 1 Database Naučná literatura 
book
Call number Track No. Location Sublocation Info 14622 52787 Sklad 2
Number of the records: 1