Number of the records: 1
Lectures on the Curry-Howard isomorphism
Title statement Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn Personal name Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968- (author) Edition statement First edition Publication Amsterdam ; Oxford : Elsevier, 2006 Phys.des. xiv, 442 stran : ilustrace ISBN 0-444-52077-5 (vázáno) Edition Studies in logic and the foundations of mathematics ; ISSN 0049-237X Volume 149 Internal Bibliographies/Indexes Note Obsahuje bibliografii, bibliografické odkazy a rejstřík Another responsib. Urzyczyn, Pawel (author) Subj. Headings matematická logika mathematical logic * teorie důkazu proof theory Keywords lambda calculus Curry-Howard isomorphism Form, Genre studie studies Conspect 510 - Obecné úvahy o matematice UDC 510.6 , 168.3 , (048.8) Country Nizozemsko ; Velká Británie Language angličtina Document kind Books 
book
Call number Barcode Location Sublocation Info M1/3850 (PřF) 3134051761 PřF PřF, KMI – Bc. Kolovratníková In-Library Use Only
Number of the records: 1