Sørensen, Morten Heine B. (Morten Heine Bjørnlund), 1968-
Lectures on the Curry-Howard isomorphism / Morten Heine Sørensen, Paweł Urzyczyn. -- First edition. -- Amsterdam ; Oxford : Elsevier, 2006. -- xiv, 442 stran : ilustrace. -- (Studies in logic and the foundations of mathematics ; ISSN 0049-237X ; Volume 149). -- ISBN : 0-444-52077-5 (vázáno) ISBN (invalid) 978-0-444-52077-7.
Urzyczyn, Pawel
matematická logika. teorie důkazu. lambda calculus. Curry-Howard isomorphism. studie
510.6. 168.3. (048.8)