|
|
|
|
| LEADER |
01504cam a22004697a 4500 |
| 001 |
BIBLO-49480 |
| 003 |
AR-BaUEN |
| 005 |
20201111150623.0 |
| 008 |
170926s1997 enka|d|f |||| 00| 0|eng|d |
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 020 |
|
|
|a 9780133963755
|
| 044 |
|
|
|a xxk
|
| 080 |
|
|
|a 681.334
|b K295
|
| 100 |
1 |
|
|a Kelly, John J.
|
| 245 |
1 |
4 |
|a The essence of logic
|
| 260 |
|
|
|a London :
|b Prentice Hall,
|c c1997
|
| 300 |
|
|
|a xiv, 258 p. :
|b il., diagrs.
|
| 490 |
0 |
|
|a The essence of computing series
|
| 500 |
|
|
|a Incluye ejercicios
|
| 500 |
|
|
|a Bibliografía p. 250
|
| 500 |
|
|
|a Glosario e índice analítico de materias.
|
| 505 |
0 |
0 |
|t Series preface
|
| 505 |
0 |
0 |
|t Preface
|
| 505 |
0 |
0 |
|t Acknowledgements
|
| 505 |
0 |
0 |
|g 1
|t Truth Tables
|
| 505 |
0 |
0 |
|g 2
|t Semantic Tableaux
|
| 505 |
0 |
0 |
|g 3
|t Natural Deduction
|
| 505 |
0 |
0 |
|g 4
|t Axiomatic Propositional Logic
|
| 505 |
0 |
0 |
|g 5
|t Resolution in Propositional Logic
|
| 505 |
0 |
0 |
|g 6
|t Introduction to Predicate Logic
|
| 505 |
0 |
0 |
|g 7
|t An Axiomatic Approach to Predicate Logic
|
| 505 |
0 |
0 |
|g 8
|t Semantic Tableaux in Predicate Logic
|
| 505 |
0 |
0 |
|g 9
|t Resolution in Predicate Logic
|
| 505 |
0 |
0 |
|t Solutions to Selected Exercises
|
| 505 |
0 |
0 |
|t Bibliography
|
| 505 |
0 |
0 |
|t Glossary
|
| 505 |
0 |
0 |
|t Index
|
| 653 |
1 |
0 |
|a LOGICA FORMAL
|
| 653 |
1 |
0 |
|a PROGRAMACION LOGICA
|
| 650 |
1 |
7 |
|2 spines
|a PROGRAMACION DE COMPUTADORES
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 999 |
|
|
|c 38169
|