Počet záznamů: 1
Proof theory
Údaje o názvu Proof theory / Gaisi Takeuti Osobní jméno Takeuti, Gaisi, 1926-2017 (autor) Údaje o vydání Second edition Nakladatel Mineola, New York : Dover Publications, Inc., 2013 Fyz.popis x, 490 stran ISBN 978-0-486-49073-1 (brožováno) Edice Dover books on mathematics Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografie a rejstřík Předmět.hesla teorie důkazu proof theory Forma, žánr monografie monographs Konspekt 16 - Logika MDT 168.3 , (048.8) Země vyd. Spojené státy americké Jazyk dok. angličtina Druh dok. Knihy Signatura Čár.kód Lokace Dislokace Info M1/3320 (PřF) 3134042698 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M1/3320a (PřF) 3134042699 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně M1/3320b (PřF) 3134043456 PřF PřF, Knihovna Doba výp. 30 dní M1/3320c (PřF) 3134043457 PřF PřF, Knihovna Doba výp. 30 dní
Počet záznamů: 1