Number of the records: 1
Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls
Title statement Die mittelbare Axiomatisierung der die Implikation enthaltenden Systeme des zweiwertigen Aussagenkalküls / Miroslav Mleziva Personal name Mleziva, Miroslav, 1929-1990 (author) Issue data Praha : Nakladatelství Československé akademie věd, 1959 Phys.des. 67 s. Edition Rozpravy Československé akademie věd.; roč. 69, seš. 12 Note Lit. Note Res. čes. Subj. Headings logika logic * matematická logika mathematical logic UDC 164 Country Česko Language němčina Document kind Books book
Call number Barcode Location Sublocation Info SF2858 (KUP) 3139083583 Zbrojnice Ústřední knihovna UP - sklad Prezenčne do studovny
Number of the records: 1