|
|
|
|
| LEADER |
01553cam a2200457 4500 |
| 001 |
PPN01637732X |
| 005 |
20241001060600.0 |
| 010 |
|
|
|a 0-19-853761-1
|
| 020 |
|
|
|a GB
|b 93002083
|z 92000510
|
| 020 |
|
|
|a GB
|b 93-2083
|
| 035 |
|
|
|a 023774894
|9 sudoc
|
| 035 |
|
|
|a ocm27381450
|
| 035 |
|
|
|a ocm32573082
|
| 035 |
|
|
|a urouen155465
|
| 035 |
|
|
|a DYNIX_BUNAN_192907
|
| 100 |
|
|
|a 19921217d1992 k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a GB
|
| 105 |
|
|
|a a ||||001yy
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Handbook of logic in computer science
|h 2
|i background : computational structures
|b Texte imprimé
|f edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
|
| 210 |
|
|
|a Oxford
|c Clarendon press
|d 1992
|
| 215 |
|
|
|a 1 vol. (X-571 p.)
|c ill.
|d 25 cm
|
| 320 |
|
|
|a Notes bibliogr. Index
|
| 517 |
| |
|
|a Background : computational structures
|
| 606 |
|
|
|3 PPN027241378
|a Ordinateurs
|x Programmation
|2 rameau
|
| 606 |
|
|
|3 PPN028949102
|a Programmation logique
|2 rameau
|
| 676 |
|
|
|a 005.1
|v 20
|
| 702 |
|
1 |
|3 PPN033347131
|a Abramsky
|b Samson
|f 1953-....
|4 340
|
| 702 |
|
1 |
|3 PPN027955486
|a Gabbay
|b Dov M.
|f 1945-....
|4 340
|
| 702 |
|
1 |
|3 PPN07325925X
|a Maibaum
|b Thomas S. E
|f 1947-....
|4 340
|
| 801 |
|
3 |
|a FR
|b Abes
|c 20110310
|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
|
| 915 |
|
|
|5 441092104:179685384
|a 1160664790
|b 1160664790
|
| 919 |
|
|
|5 441092104:179685384
|a 1160664790
|
| 930 |
|
|
|5 441092104:179685384
|b 441092104
|a 681.31 ABR
|j u
|
| 979 |
|
|
|a SCI
|
| 998 |
|
|
|a 217642
|
Nantilus
