The lambda calculus
its syntax and semantics
| LEADER | cam a22 4500 | ||
|---|---|---|---|
| 001 | 52891328X | ||
| 003 | CHVBK | ||
| 005 | 20200927092205.0 | ||
| 006 | m d | ||
| 007 | cr |n |||||||| | ||
| 008 | 840309s1984 ne a sb 001 0 eng d | ||
| 010 | |a 84005966 | ||
| 020 | |a 0-444-86748-1 | ||
| 020 | |a 0-444-87508-5 (pbk.) | ||
| 035 | |a (SERSOL)ssj0000188510 | ||
| 035 | |a (WaSeSS)ssj0000188510 | ||
| 040 | |a DLC |c DLC |d DLC |d WaSeSS | ||
| 050 | 0 | 0 | |a QA9.5 |b .B36 1984 |
| 082 | 0 | 0 | |a 511.3 |2 19 |
| 100 | 1 | |a Barendregt |D H. P. |q Hendrik Pieter | |
| 245 | 1 | 4 | |a The lambda calculus |h [Elektronische Daten] |b its syntax and semantics |c H.P. Barendregt |
| 250 | |a Rev. ed. | ||
| 260 | |a Amsterdam |a New York |a New York, N.Y |b North-Holland |b Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co |c 1984 | ||
| 300 | |a 1 online resource (xv, 621 p.) |b ill | ||
| 490 | 0 | |a Studies in logic and the foundations of mathematics |v v. 103 | |
| 504 | |a Bibliography: p. 585-598. | ||
| 504 | |a Includes indexes. | ||
| 506 | |a Lizenzbedingungen können den Zugang einschränken. License restrictions may limit access. | ||
| 650 | 0 | |a Lambda calculus | |
| 856 | 4 | 0 | |u https://www.sciencedirect.com/science/bookseries/0049237X/103 |z Uni Bern: Volltext |
| 898 | |a BK020053 |b XK020053 |c XK020000 | ||
| 909 | 4 | |f ScienceDirect eBooks | |
| 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 Barendregt |D H. P. |q Hendrik Pieter | ||
| 950 | |B IDSBB |P 490 |E 1- |a Studies in logic and the foundations of mathematics |v v. 103 | ||
| 950 | |B IDSBB |P 856 |E 40 |u https://www.sciencedirect.com/science/bookseries/0049237X/103 |z Uni Bern: Volltext | ||
| 986 | |a SWISSBIB |b 097013617 | ||