Počet záznamů: 1
Labelled deductive systems
Údaje o názvu Labelled deductive systems. Volume 1 / Dov M. Gabbay Osobní jméno Gabbay, Dov M., 1945- (autor) Nakladatel Oxford : Clarendom Press, 1996 Fyz.popis xiii, 497 stran : ilustrace ISBN 0-19-853833-2 (vázáno) Edice Oxford logic guides ; 33 Poznámka Na obálce chybně uvedeno, že se jedná o 35. svazek edice 3134043079 - dotisk 2002 Zpracováno dle dotisku Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii a rejstřík Předmět.hesla logika logic * matematická logika mathematical logic Forma, žánr učebnice textbooks Konspekt 16 - Logika 37.016 - Učební osnovy. Vyučovací předměty. Učebnice MDT 510.6 , 16 , (075) Země vyd. Velká Británie Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/3402 (PřF) 3134043079 PřF PřF, Knihovna Doba výp. 30 dní M1/3402a (PřF) 3134043080 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1