|
|
|
|
| LEADER |
01932nam a2200349a 44500 |
| 001 |
UBP02082 |
| 003 |
AR-CdUBP |
| 005 |
20220310151621.0 |
| 008 |
151212s1985#######|||||||||||||||||eng|d |
| 020 |
|
|
|a 0-201-18260-2(v.1) 0-201-18261-0(v.2)
|
| 040 |
|
|
|a AR-CdUBP
|b spa
|
| 041 |
|
|
|a eng
|
| 100 |
|
|
|a Manna, Zohar
|
| 245 |
1 |
4 |
|a The logical basis for computer programming /
|c Zohar Manna, Richard Waldinger.
|
| 260 |
|
|
|a Reading, Massachusetts :
|b Addison-Wesley,
|c 1985
|
| 300 |
|
|
|a 2 v. ;
|c 25 cm.
|
| 505 |
0 |
|
|a Volumen 1. Part I. MATHEMATICAL LOGIC. Chapter 1. Propositional logic. Chapter 2. Predicate logic: basic. Chapter 3. Predicate logic: advanced. Chapter 4. Special theories. Chapter 5. Theories with equality. Part II. THEORIES WITH INDUCTION: Chapter 6. Nonnegative integers. Chapter 7: Strings. Chapter 8. Trees. Chapter 9: List. Chapter 10. Sets. Chapter 11. Bags. Chapter 12. Tuples. Volumen 2. Part I. WELL-FOUNDED INDUCTION. Chapter 1. Well-founded relations. Chapter 2. Applications. Chapter 3. Equivalent conditions. Chapter 4. Lexicographic relations. Part II. PROPOSITIONAL LOGIC. Chapter 5. Logical apparatus. Chapter 6. Deductive tableaux. Part III. UNIFICATION. Chapter 7. Expressions. Chapter 8. Substitutions. Chapter 9. Unification algorithm. Part IV. PREDICATE LOGIC. Chapter 10. Logical apparatus. Chapter 11. Deductive tableaux. Chapter 12. Special theories. Chapter 13. Decidability and completeness issues.
|
| 505 |
|
|
|a v.1: Deductive reasoning -- v.2: Deductive systems.
|
| 650 |
|
4 |
|a PROGRAMACION DE COMPUTADORAS
|
| 650 |
|
4 |
|a PROGRAMACION LOGICA
|
| 650 |
|
4 |
|a RAZONAMIENTO DEDUCTIVO
|
| 650 |
|
4 |
|a RAZONAMIENTO INDUCTIVO
|
| 650 |
|
4 |
|a LOGICA SIMBOLICA
|
| 650 |
|
4 |
|a LOGICA MATEMATICA
|
| 653 |
|
|
|a INFORMATICA
|
| 700 |
1 |
|
|a Waldinger, Richard
|
| 930 |
|
|
|a INFORMATICA
|
| 931 |
|
|
|a 02082
|b UBP
|
| 942 |
|
|
|2 cdu
|c BK
|
| 945 |
|
|
|a SMM
|
| 984 |
|
|
|a 004.42
|b M315
|
| 999 |
|
|
|c 17695
|d 17695
|