|
|
|
|
| LEADER |
01751cam a2200493 4500 |
| 001 |
PPN01637729X |
| 005 |
20211105111500.0 |
| 010 |
|
|
|a 0-19-853735-2
|
| 020 |
|
|
|a GB
|b 93002080
|
| 020 |
|
|
|a GB
|b 93-2080
|
| 035 |
|
|
|a 072495510
|9 sudoc
|
| 035 |
|
|
|a 006090826
|9 sudoc
|
| 035 |
|
|
|a 072085304
|9 sudoc
|
| 035 |
|
|
|a ocm27381437
|
| 035 |
|
|
|a sib0798160
|
| 035 |
|
|
|a DYNIX_BUNAN_192904
|
| 035 |
|
|
|a urouen155464
|
| 100 |
|
|
|a 19921217d1992 k y0frey0103 ba
|
| 101 |
0 |
|
|a eng
|
| 102 |
|
|
|a GB
|
| 105 |
|
|
|a a ||||001yy
|
| 106 |
|
|
|a r
|
| 200 |
0 |
|
|a Handbook of logic in computer science
|h 1
|i Background : mathematical structures
|b Texte imprimé
|f edited by S. Abramsky, Dov M. Gabbay and T. S. E. Maibaum
|g volume co-ordinator Dov M. Gabbay
|
| 210 |
|
|
|a Oxford
|c Clarendon
|d cop. 1992
|
| 215 |
|
|
|a 1 vol. (XII-827 p.)
|c ill.
|d 25 cm
|
| 305 |
|
|
|a Autres tirages : 2003
|
| 517 |
| |
|
|a Background : mathematical structures
|
| 606 |
|
|
|3 PPN027241378
|a Ordinateurs
|x Programmation
|2 rameau
|
| 606 |
|
|
|3 PPN027662799
|a Logique mathématique
|2 rameau
|
| 606 |
|
|
|3 PPN031498949
|a Informatique
|x Mathématiques
|2 rameau
|
| 606 |
|
|
|3 PPN084024682
|a Langages de programmation
|x Sémantique
|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 |
|
3 |
|a FR
|b SF
|g AFNOR
|
| 915 |
|
|
|5 441092104:179685341
|a 1160664783
|b 1160664783
|
| 919 |
|
|
|5 441092104:179685341
|a 1160664783
|
| 930 |
|
|
|5 441092104:179685341
|b 441092104
|a 681.31 ABR
|j u
|
| 979 |
|
|
|a SCI
|
| 998 |
|
|
|a 217639
|
Nantilus
