Number of the records: 1
Metoda transformací logických formulí
Main entry-name Rott, Hilbert (author) Title statement Metoda transformací logických formulí Issue data Praha : Academia, 1989 Phys.des. 126 s. ISBN 80-200-0107-7 Edition Studie ČSAV ; 13/89 Subj. Headings logické formule logika Conspect 16 - Logika Country Česko Language Czech Copy count 1, currently available 1 Database Naučná literatura 
book
Call number Track No. Location Sublocation Info 51411 288974 Sklad 3
Number of the records: 1