Number of the records: 1
Labelled deductive systems
Title statement Labelled deductive systems. Volume 1 / Dov M. Gabbay Personal name Gabbay, Dov M., 1945- (author) Publication Oxford : Clarendom Press, 1996 Phys.des. xiii, 497 stran : ilustrace ISBN 0-19-853833-2 (vázáno) Edition Oxford logic guides ; 33 Note Na obálce chybně uvedeno, že se jedná o 35. svazek edice 3134043079 - dotisk 2002 Zpracováno dle dotisku Internal Bibliographies/Indexes Note Obsahuje bibliografii a rejstřík Subj. Headings logika logic * matematická logika mathematical logic Form, Genre učebnice textbooks Conspect 16 - Logika 37.016 - Učební osnovy. Vyučovací předměty. Učebnice UDC 510.6 , 16 , (075) Country Velká Británie Language angličtina Document kind Books Call number Barcode Location Sublocation Info M1/3402 (PřF) 3134043079 PřF PřF, Knihovna Date due 30 days M1/3402a (PřF) 3134043080 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1