|
|
|
|
| LEADER |
01444nam a22003375a 4500 |
| 001 |
21221 |
| 003 |
AR-SrUBC |
| 005 |
20210617145502.0 |
| 007 |
t||||||||||||| |
| 008 |
000524m||||||||enka||||r|||||||||||spa|| |
| 020 |
|
|
|a 0198537352 (v.1)
|
| 020 |
|
|
|a 0198537611 (v.2)
|
| 040 |
|
|
|a AR-SrUBC
|b spa
|e rcaa2
|
| 080 |
|
|
|a 519.6=20
|2 1995 ES
|
| 245 |
1 |
0 |
|a HANDBOOK of logic in computer science.
|c edited by S. Abramsky, Dov M. Gabbay, T.S.E. Maibaum ; volume co-ordinator Dov M. Gabbay.
|
| 260 |
|
|
|a Oxford :
|b Clarendon Press,
|c 1999.
|
| 300 |
|
|
|a 6 v. :
|b il., diagrs. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Handbooks of logic in computer science
|
| 505 |
0 |
0 |
|a Contenido: v.1. Background: mathematical structures -- v.2. Background: computational structures -- v.3. Semantic structures -- v.4. Semantic modelling -- v.5. Theoretical methods in specification and verification -- v.6. Logical methods in computer science.
|
| 500 |
|
|
|a La biblioteca posee los vols. 1-2.
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 40976
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA
|2 lemb3
|9 10609
|
| 650 |
|
7 |
|a PROGRAMACION (MATEMATICAS)
|2 lemb3
|9 2730
|
| 700 |
1 |
|
|a Abramsky, S.,
|c ed.
|9 40977
|
| 700 |
1 |
|
|a Gabbay, Dov M.,
|c ed.
|9 40978
|
| 700 |
1 |
|
|a Maibaum, T.S.E.,
|c ed.
|9 40979
|
| 942 |
|
|
|2 cdu
|b 2000-05-24
|c BK
|d 022438
|h 519.6=20
|i HANa
|z MI
|6 519620_HANA
|
| 999 |
|
|
|c 21221
|d 21221
|