|
|
|
|
| LEADER |
01043nam a22002775a 4500 |
| 001 |
26928 |
| 003 |
AR-SrUBC |
| 005 |
20210617170707.0 |
| 007 |
t||||||||||||| |
| 008 |
040921m||||||||nyua||||r|||||||||||eng|| |
| 020 |
|
|
|a 013564139X
|
| 040 |
|
|
|a AR-SrUBC
|b eng
|e rcaa2
|
| 080 |
|
|
|a 510.6=20
|2 2000 ES
|
| 100 |
1 |
|
|a Ben-Ari, M.,
|d 1948-.
|9 52214
|
| 245 |
1 |
0 |
|a Mathematical logic for computer science.
|c M. Ben-Ari.
|
| 260 |
|
|
|a New York :
|b Prentice Hall,
|c 1993.
|
| 300 |
|
|
|a xi, 305 p. :
|b il. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 490 |
|
0 |
|a Prentice Hall international series in computer science
|
| 505 |
0 |
0 |
|a Contenido: Introduction -- Propositional calculus -- Predicate calculus -- Resolution and logic programming -- Temporal logic -- Formalization of programs.
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 52215
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA
|2 lemb3
|9 10609
|
| 942 |
|
|
|2 cdu
|b 2004-09-21
|c BK
|d 029058
|h 510.6=20
|i BENm
|z MI
|6 510620_BENM
|
| 999 |
|
|
|c 26928
|d 26928
|