Počet záznamů: 1
Lectures on the Curry-Howard isomorphism
Údaje o názvu Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn Osobní jméno Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968- (autor) Údaje o vydání First edition Nakladatel Amsterdam ; Oxford : Elsevier, 2006 Fyz.popis xiv, 442 stran : ilustrace ISBN 0-444-52077-5 (vázáno) Edice Studies in logic and the foundations of mathematics ; ISSN 0049-237X Volume 149 Poznámky o skryté bibliografii a rejstřících Obsahuje bibliografii, bibliografické odkazy a rejstřík Dal.odpovědnost Urzyczyn, Pawel (autor) Předmět.hesla matematická logika mathematical logic * teorie důkazu proof theory Klíč.slova lambda calculus Curry-Howard isomorphism Forma, žánr studie studies Konspekt 510 - Obecné úvahy o matematice MDT 510.6 , 168.3 , (048.8) Země vyd. Nizozemsko ; Velká Británie Jazyk dok. angličtina Druh dok. Knihy 
kniha
Signatura Čár.kód Lokace Dislokace Info M1/3850 (PřF) 3134051761 PřF PřF, KMI – Bc. Kolovratníková pouze prezenčně
Počet záznamů: 1