Number of the records: 1
Proof theory
Title statement Proof theory / Gaisi Takeuti Personal name Takeuti, Gaisi, 1926-2017 (author) Edition statement Second edition Publication Mineola, New York : Dover Publications, Inc., 2013 Phys.des. x, 490 stran ISBN 978-0-486-49073-1 (brožováno) Edition Dover books on mathematics Internal Bibliographies/Indexes Note Obsahuje bibliografie a rejstřík Subj. Headings teorie důkazu proof theory Form, Genre monografie monographs Conspect 16 - Logika UDC 168.3 , (048.8) Country Spojené státy americké Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3320 (PřF) 3134042698 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3320a (PřF) 3134042699 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only M1/3320b (PřF) 3134043456 PřF PřF, Knihovna Date due 30 days M1/3320c (PřF) 3134043457 PřF PřF, Knihovna Date due 30 days
Number of the records: 1