|
|
|
|
| LEADER |
02550cam a2200817 4500 |
| 001 |
PPN001662465 |
| 003 |
http://www.sudoc.fr/001662465 |
| 005 |
20240516055300.0 |
| 010 |
|
|
|a 2-225-82091-0
|b rel.
|d 198 FRF
|
| 020 |
|
|
|a FR
|b 09032071
|
| 021 |
|
|
|a FR
|b DL 90-17563
|
| 033 |
|
|
|a http://catalogue.bnf.fr/ark:/12148/cb35091743c
|
| 035 |
|
|
|a (OCoLC)22994752
|
| 035 |
|
|
|a ubs52413
|
| 035 |
|
|
|a ocm22994752
|
| 035 |
|
|
|a Evry4691
|
| 035 |
|
|
|a sib0283892
|
| 035 |
|
|
|a DYNIX_BUFDF_96889
|
| 035 |
|
|
|a lm17901
|
| 035 |
|
|
|a DYNIX_BUNAN_151407
|
| 035 |
|
|
|a frBN008319313
|
| 035 |
|
|
|a FRBNF350917430000005
|z FRBNF35091743
|
| 073 |
|
1 |
|a 9782225820915
|
| 100 |
|
|
|a 19900821h19901990k y0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a y a 001yy
|
| 106 |
|
|
|a r
|
| 181 |
|
|
|6 z01
|c txt
|2 rdacontent
|
| 181 |
|
1 |
|6 z01
|a i#
|b xxxe##
|
| 182 |
|
|
|6 z01
|c n
|2 rdamedia
|
| 182 |
|
1 |
|6 z01
|a n
|
| 183 |
|
|
|6 z01
|a nga
|2 rdamedia
|
| 200 |
1 |
|
|a Lambda-calcul
|e types et modèles
|f Jean-Louis Krivine,...
|
| 214 |
|
0 |
|a Paris
|a Milan
|a Barcelone [etc.]
|c Masson
|d 1990
|
| 215 |
|
|
|a 1 vol. (VIII-176 p.)
|c couv. ill. en coul.
|d 25 cm
|
| 225 |
2 |
|
|a Etudes et recherches en informatique
|x 0763-2770
|
| 320 |
|
|
|a Bibliogr. p. [167]-170. Index
|
| 410 |
|
| |
|0 001030035
|t E.R.I. Etudes et recherches en informatique
|x 0763-2770
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
| 606 |
|
|
|3 PPN031498957
|a Mathématiques
|x Informatique
|2 rameau
|
| 606 |
|
|
|3 PPN027430677
|a Logique combinatoire
|2 rameau
|
| 606 |
|
|
|3 PPN027576345
|a Lambda-calcul
|2 rameau
|
| 675 |
|
|
|a 51
|v Éd. 1967
|
| 676 |
|
|
|a 511.3
|
| 680 |
|
|
|a QA9.5
|
| 686 |
|
|
|a F.4
|2 acm
|
| 686 |
|
|
|a 03-01
|c 2000
|2 msc
|
| 686 |
|
|
|a 03-02
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B40
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B15
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B70
|c 2000
|2 msc
|
| 686 |
|
|
|a 03D60
|c 2000
|2 msc
|
| 686 |
|
|
|a 68N01
|c 2000
|2 msc
|
| 686 |
|
|
|a 68Q60
|c 2000
|2 msc
|
| 686 |
|
|
|a 68Q55
|c 2000
|2 msc
|
| 686 |
|
|
|a 68-01
|c 2000
|2 msc
|
| 686 |
|
|
|a 68Q65
|c 2000
|2 msc
|
| 700 |
|
1 |
|3 PPN030156149
|a Krivine
|b Jean-Louis
|f 1939-....
|4 070
|
| 801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b BN
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20210122
|g AFNOR
|
| 801 |
|
1 |
|a FR
|b UBS
|c 20011107
|g AFNOR
|
| 915 |
|
|
|5 441092104:179221310
|a 1160979115
|b 1160979115
|
| 919 |
|
|
|5 441092104:179221310
|a 1160979115
|
| 930 |
|
|
|5 441092104:179221310
|b 441092104
|j u
|
| 930 |
|
|
|5 441092208:72374596X
|b 441092208
|j u
|
| 979 |
|
|
|a CCFA
|
| 998 |
|
|
|a 257738
|
Nantilus
