Nantilus
The lambda calculus : its syntax and semantics
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | anglais |
| Titre complet : | The lambda calculus : its syntax and semantics / H. P. Barendregt,... |
| Édition : | Revised edition |
| Publié : |
Amsterdam, New York, Oxford, [New York] :
North-Holland
, 1984 [sole distributors for the USA and Canada, Elsevier science publ.] |
| Description matérielle : | 1 vol. (XV-621 p.) |
| Collection : | Studies in logic and the foundations of mathematics ; 103 |
| Sujets : |
| LEADER | 01841cam a2200517 4500 | ||
|---|---|---|---|
| 001 | PPN004626575 | ||
| 003 | http://www.sudoc.fr/004626575 | ||
| 005 | 20190627101400.0 | ||
| 010 | |a 0-444-86748-1 |b rel. | ||
| 010 | |a 0-444-87508-5 |b br. |d 83,50 EUR | ||
| 020 | |a US |b 845966 | ||
| 020 | |a GB |b 85-22625 | ||
| 035 | |a 025708163 |9 sudoc | ||
| 035 | |a (OCoLC)489595992 | ||
| 035 | |a sib0680586 | ||
| 035 | |a ocm10559084 | ||
| 035 | |z ocm12509638 | ||
| 100 | |a 19960116h19841984k y0frey0103 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a NL |a US |a GB | ||
| 105 | |a a a 001yy | ||
| 106 | |a r | ||
| 200 | 1 | |a The lambda calculus |b Texte imprimé |e its syntax and semantics |f H. P. Barendregt,... | |
| 205 | |a Revised edition | ||
| 210 | |a Amsterdam |a New York |a Oxford |c North-Holland |a [New York] |c [sole distributors for the USA and Canada, Elsevier science publ.] |d 1984 | ||
| 215 | |a 1 vol. (XV-621 p.) |c ill., fig. |d 23 cm | ||
| 225 | 2 | |a Studies in logic and the foundations of mathematics |v vol. 103 | |
| 305 | |a Autres tirages : 1985, 1990, 1994, 1998, 2001 | ||
| 320 | |a Bibliogr. p. 585-598. Index | ||
| 410 | | | |0 013286838 |t Studies in logic and the foundations of mathematics |x 0049-237X |v 103 | |
| 606 | |3 PPN027576345 |a Lambda-calcul |2 rameau | ||
| 676 | |a 511.3 |v 19 | ||
| 680 | |a QA9.5 |b .B36 1984 | ||
| 686 | |a 03B40 |c 2010 |2 msc | ||
| 686 | |a 03-02 |c 2010 |2 msc | ||
| 700 | 1 | |3 PPN034022821 |a Barendregt |b Hendrik Pieter |f 1947-.... |4 070 | |
| 801 | 3 | |a FR |b Abes |c 20181005 |g AFNOR |h 025708163 | |
| 801 | 3 | |a FR |b SF |g AFNOR | |
| 801 | 1 | |a US |b OCLC |g AACR2 | |
| 801 | 2 | |a FR |b AUROC |g AFNOR | |
| 915 | |5 441092208:639612342 |b 13233 | ||
| 930 | |5 441092208:639612342 |b 441092208 |a 68C76 |j u | ||
| 979 | |a CCFA | ||
| 991 | |5 441092208:639612342 |a exemplaire créé automatiquement par l'ABES | ||
| 997 | |a CCFA |b 13233 |d CMB |e BAP |s d |c 68C76 | ||
| 998 | |a 840900 | ||