|
|
|
|
| LEADER |
02774cam a2200841 4500 |
| 001 |
PPN04693345X |
| 003 |
http://www.sudoc.fr/04693345X |
| 005 |
20240319103900.0 |
| 010 |
|
|
|a 0-521-37181-3
|b rel.
|d 17.50 GBP
|
| 020 |
|
|
|a GB
|b 89006177
|
| 020 |
|
|
|a GB
|b 89-6177
|
| 035 |
|
|
|a 004594428
|9 sudoc
|
| 035 |
|
|
|a 021234426
|9 sudoc
|
| 035 |
|
|
|a 022029478
|9 sudoc
|
| 035 |
|
|
|a (OCoLC)23586245
|
| 035 |
|
|
|a sib1334336
|
| 035 |
|
|
|a sib0677706
|
| 035 |
|
|
|a ocm20170936
|
| 035 |
|
|
|z ocmm19603784
|
| 035 |
|
|
|a ocm23586245
|
| 073 |
|
1 |
|a 9780521371810
|
| 100 |
|
|
|a 19990402h19891989k y0frey0103 ba
|
| 101 |
1 |
|
|a eng
|c fre
|2 639-2
|
| 102 |
|
|
|a GB
|
| 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 RDAfrCarrier
|
| 200 |
1 |
|
|a Proofs and types
|f Jean-Yves Girard,...
|g translated [from French] and with appendices by Paul Taylor,... [et] Yves Lafont,...
|
| 214 |
|
0 |
|a Cambridge
|a New York
|a Melbourne
|c Cambridge University Press
|
| 214 |
|
4 |
|d C 1989
|
| 215 |
|
|
|a 1 vol. (XI-176 p.)
|c ill.
|d 25 cm
|
| 225 |
2 |
|
|a Cambridge tracts in theoretical computer science
|v 7
|
| 305 |
|
|
|a Autres tirages : 1990 (with minor corrections), 1993
|
| 320 |
|
|
|a Bibliogr. p. 162-165. Index
|
| 410 |
|
| |
|0 013834819
|t Cambridge tracts in theoretical computer science
|x 0956-9103
|v 7
|
| 606 |
|
|
|3 PPN03145836X
|a Théorie de la démonstration
|2 rameau
|
| 606 |
|
|
|3 PPN027576345
|a Lambda-calcul
|2 rameau
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
| 606 |
|
|
|3 PPN027241378
|a Microordinateurs
|x Programmation
|2 rameau
|
| 676 |
|
|
|a 005.13/1
|v 19
|
| 680 |
|
|
|a QA76.6
|
| 686 |
|
|
|a F.4
|2 acm
|
| 686 |
|
|
|a 68-02
|c 2000
|2 msc
|
| 686 |
|
|
|a 68Q55
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B15
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B40
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F05
|c 2000
|2 msc
|
| 686 |
|
|
|a 03-02
|c 2000
|2 msc
|
| 686 |
|
|
|a 03B70
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F07
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F10
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F35
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F50
|c 2000
|2 msc
|
| 686 |
|
|
|a 03F55
|c 2000
|2 msc
|
| 700 |
|
1 |
|3 PPN026892669
|a Girard
|b Jean-Yves
|f 1947-....
|4 070
|
| 701 |
|
1 |
|3 PPN073934771
|a Taylor
|b Paul
|f 1960-....
|c mathématicien
|4 730
|
| 701 |
|
1 |
|3 PPN02905110X
|a Lafont
|b Yves
|f 1961-....
|4 730
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20221014
|g AFNOR
|h 004594428
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20221014
|g AFNOR
|h 021234426
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20221014
|g AFNOR
|h 022029478
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 801 |
|
1 |
|a US
|b OCLC
|g AACR2
|
| 801 |
|
2 |
|a FR
|b AUROC
|g AFNOR
|
| 979 |
|
|
|a PHILO
|
| 930 |
|
|
|5 441092107:252894510
|b 441092107
|a L 12509
|j s
|
| 998 |
|
|
|a 445503
|
Nantilus
