|
|
|
|
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
|