Number of the records: 1
Type theory and formal proof
Title statement Type theory and formal proof : an introduction / Rob Nederpelt, Herman Geuvers Personal name Nederpelt, Rob (author) Edition statement First published Publication Cambridge : Cambridge University Press, 2014 Phys.des. xxv, 436 stran ISBN 978-1-107-03650-5 (vázáno) Internal Bibliographies/Indexes Note Obsahuje bibliografické odkazy a rejstřík Another responsib. Geuvers, Herman, 1964- (author) Subj. Headings matematická logika mathematical logic * matematické důkazy mathematical proofs * teorie důkazu proof theory Form, Genre kolektivní monografie collective monographs Conspect 510 - Obecné úvahy o matematice UDC 510.6 , 51:168.3 , 168.3 , (048.8:082) Country Velká Británie Language angličtina Document kind Books URL http://web.flu.cas.cz/scan/323588278.pdf Call number Barcode Location Sublocation Info M1/3607 (PřF) 3134046334 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1