|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 003 |
UV# |
| 005 |
20190513124916.0 |
| 008 |
190402s2012 uk a b 001 0 spa d |
| 999 |
|
|
|c 332466
|d 332465
|
| 020 |
|
|
|a 9780954300692
|
| 040 |
|
|
|a UV#
|b spa
|e rda
|c UV#
|
| 050 |
|
4 |
|a QA76.63
|b D63 2012
|
| 082 |
|
4 |
|a 005.115
|
| 100 |
|
|
|a Doets, H. C.
|e autor
|
| 245 |
1 |
4 |
|a The haskell road to logic, maths and programming /
|c Kees Doets, Jan Van Eijck.
|
| 250 |
|
|
|a Second Edition.
|
| 264 |
|
1 |
|a Milton Keynes, UK :
|b College Publications,
|c [2012].
|
| 264 |
|
4 |
|c ©2012.
|
| 300 |
|
|
|a x, 432 páginas :
|b Ilustraciones ;
|c 23 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
0 |
|
|a Texts in computing ;
|v volume 4
|
| 504 |
|
|
|a Incluye bibliografía (páginas 419- 422) e índice.
|
| 650 |
|
4 |
|a Programación lógica
|9 359632
|
| 650 |
|
4 |
|a Lógica simbólica y matemática
|9 359229
|
| 700 |
1 |
|
|a Eijck, J. van
|e autor
|
| 942 |
|
|
|c LIBRO
|2 lcc
|6 _
|
