|
|
|
|
| LEADER |
00000nam a22000007a 4500 |
| 001 |
SBUV012636 |
| 006 |
a 000 0 |
| 008 |
991118s1985 000 0 d |
| 035 |
|
|
|a (Sirsi) SBUV012636
|
| 035 |
|
|
|a (Sirsi) SBUV012636
|
| 040 |
|
|
|a lcb
|
| 050 |
|
4 |
|a QA76.6
|b M36 L6
|
| 082 |
|
4 |
|a 519.7
|
| 100 |
|
|
|a Manna, Zohar
|
| 245 |
|
4 |
|a The logical basis for computer programming
|c / Zohar Manna, Richard Waldinger
|
| 260 |
|
|
|a Reading, Mass.
|b : Addison-Wesley,
|c c1985
|
| 300 |
|
|
|a 2 v
|b : il
|c ; 24 cm.
|
| 500 |
|
|
|a 02011826021 -- 0-201-18261-0(v. 2)
|
| 505 |
|
|
|t v. 1. Deductive reasoning. --
|t v. 2. Deductive systems
|
| 650 |
|
4 |
|a Programación (Computadoras)
|
| 650 |
|
4 |
|a Lógica matemática
|
| 700 |
|
|
|a Waldinger, Richard
|e , coaut.
|
| 902 |
|
|
|a DBUV
|
| 596 |
|
|
|a 2
|
| 942 |
|
|
|c LIBRO
|
| 999 |
|
|
|c 63349
|d 63349
|
