cam a22 4500 528913999 CHVBK 20201014115810.0 m d cr |n |||||||| 060607s2007 ne a sb 001 0 eng d 2006048390 978-0-444-52077-7 (hbk.) 0-444-52077-5 (hbk.) (SERSOL)ssj0000190882 (WaSeSS)ssj0000190882 DLC DLC DLC WaSeSS QA9.54 .S67 2007 511.3/26 22 Sørensen Morten Heine Lectures on the Curry-Howard isomorphism [Elektronische Daten] Morten Heine Sørensen, Paweł Urzyczyn 1st ed. Amsterdam Boston Elsevier 2006 1 online resource (xiv, 442 p.) illustrations Studies in logic and the foundations of mathematics 0049-237X vol. 149 Includes bibliographical references (p. 403-430) and index. Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. Curry-Howard isomorphism Lambda calculus Proof theory Urzyczyn Paweł https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=294228 Uni Bern: Volltext BK020053 XK020053 XK020000 Ebook Central All Subscribed Titles E-Books von 360MarcUpdates IDSBB B405 B405 405VT NELB4051809 IDSBB 100 1- Sørensen Morten Heine IDSBB 490 0- Studies in logic and the foundations of mathematics 0049-237X vol. 149 IDSBB 700 1- Urzyczyn Paweł IDSBB 856 40 https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=294228 Uni Bern: Volltext SWISSBIB 163451958