Lectures on the Curry-Howard isomorphism
| LEADER | cam a22 4500 | ||
|---|---|---|---|
| 001 | 528913999 | ||
| 003 | CHVBK | ||
| 005 | 20201014115810.0 | ||
| 006 | m d | ||
| 007 | cr |n |||||||| | ||
| 008 | 060607s2007 ne a sb 001 0 eng d | ||
| 010 | |a 2006048390 | ||
| 020 | |a 978-0-444-52077-7 (hbk.) | ||
| 020 | |a 0-444-52077-5 (hbk.) | ||
| 035 | |a (SERSOL)ssj0000190882 | ||
| 035 | |a (WaSeSS)ssj0000190882 | ||
| 040 | |a DLC |c DLC |d DLC |d WaSeSS | ||
| 050 | 0 | 0 | |a QA9.54 |b .S67 2007 |
| 082 | 0 | 0 | |a 511.3/26 |2 22 |
| 100 | 1 | |a Sørensen |D Morten Heine | |
| 245 | 1 | 0 | |a Lectures on the Curry-Howard isomorphism |h [Elektronische Daten] |c Morten Heine Sørensen, Paweł Urzyczyn |
| 250 | |a 1st ed. | ||
| 260 | |a Amsterdam |a Boston |b Elsevier |c 2006 | ||
| 300 | |a 1 online resource (xiv, 442 p.) |b illustrations | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |x 0049-237X |v vol. 149 | |
| 504 | |a Includes bibliographical references (p. 403-430) and index. | ||
| 506 | |a Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. | ||
| 650 | 0 | |a Curry-Howard isomorphism | |
| 650 | 0 | |a Lambda calculus | |
| 650 | 0 | |a Proof theory | |
| 700 | 1 | |a Urzyczyn |D Paweł | |
| 856 | 4 | 0 | |u https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=294228 |z Uni Bern: Volltext |
| 898 | |a BK020053 |b XK020053 |c XK020000 | ||
| 909 | 4 | |f Ebook Central All Subscribed Titles | |
| 909 | 4 | |a E-Books von 360MarcUpdates | |
| 949 | |B IDSBB |F B405 |b B405 |c 405VT |x NELB4051809 | ||
| 950 | |B IDSBB |P 100 |E 1- |a Sørensen |D Morten Heine | ||
| 950 | |B IDSBB |P 490 |E 0- |a Studies in logic and the foundations of mathematics |x 0049-237X |v vol. 149 | ||
| 950 | |B IDSBB |P 700 |E 1- |a Urzyczyn |D Paweł | ||
| 950 | |B IDSBB |P 856 |E 40 |u https://ebookcentral.proquest.com/lib/unibern/detail.action?docID=294228 |z Uni Bern: Volltext | ||
| 986 | |a SWISSBIB |b 163451958 | ||