|
|
|
|
| LEADER |
01209nam a22003015a 4500 |
| 001 |
23919 |
| 003 |
AR-SrUBC |
| 005 |
20210617165308.0 |
| 007 |
t||||||||||||| |
| 008 |
010113m||||||||mau#||||r|||||||||||eng|| |
| 020 |
|
|
|a AR-SrUBC
|b eng
|e rcaa2
|
| 080 |
|
|
|a 004.42:510.6=20
|2 2000 ES
|
| 100 |
1 |
|
|a Manna, Zohar.
|9 45729
|
| 245 |
1 |
4 |
|a The deductive foundations of computer programming.
|c Zohar Manna, Richard Waldinger.
|
| 260 |
|
|
|a Reading, Mass. :
|b Addison-Wesley,
|c 1993.
|
| 300 |
|
|
|a 717 p. ;
|c 24 cm.
|
| 336 |
|
|
|a texto
|2 rdacontent
|
| 337 |
|
|
|a sin mediación
|2 rdamedia
|
| 338 |
|
|
|a volumen
|2 rdacarrier
|
| 500 |
|
|
|a A one volume version of "The logical basis for computer programming".
|
| 505 |
0 |
0 |
|a Contenido: Propositional logic. Predicate logic. Axiomatic theories. Theories whith induction. Well-founded induction. Theoretical issues.
|
| 650 |
|
7 |
|a LOGICA MATEMATICA
|2 lemb3
|9 45730
|
| 650 |
|
7 |
|a PROGRAMACION (MATEMATICAS)
|2 lemb3
|9 2730
|
| 650 |
|
7 |
|a PROGRAMACION (COMPUTADORES ELECTRONICOS)
|2 lemb3
|9 2109
|
| 650 |
|
7 |
|a LOGICA SIMBOLICA
|2 lemb3
|9 10609
|
| 700 |
1 |
|
|a Waldinger, Richard
|9 45731
|
| 942 |
|
|
|2 cdu
|b 2001-01-13
|c BK
|d 025744
|h 004.42=20
|i MANd
|z MI
|6 0044220_MAND
|
| 999 |
|
|
|c 23919
|d 23919
|