|
|
|
|
| LEADER |
01581cam a22004697a 4500 |
| 001 |
BIBLO-44105 |
| 003 |
AR-BaUEN |
| 005 |
20230828155840.0 |
| 008 |
110318s2007 enk||||f |||| 00| 0|eng|d |
| 020 |
|
|
|a 9780199215621
|
| 040 |
|
|
|a AR-BaUEN
|b spa
|c AR-BaUEN
|
| 044 |
|
|
|a xxu
|
| 080 |
|
|
|a 510.6
|b CH448
|
| 100 |
1 |
|
|a Chiswell, Ian
|4 aut
|e autor
|
| 245 |
1 |
0 |
|a Mathematical logic
|
| 260 |
|
|
|a Oxford :
|b Oxford University Press,
|c 2007
|
| 300 |
|
|
|a viii, 250 p.
|
| 490 |
0 |
|
|a Oxford Texts in logic ;
|v 3
|
| 505 |
0 |
0 |
|g 2
|t Informal natural deduction
|
| 505 |
0 |
0 |
|g 3
|t Propositional logic
|
| 505 |
0 |
0 |
|g 4
|t First interlude: Wason’s selection task
|
| 505 |
0 |
0 |
|g 5
|t Quantifier-free logic
|
| 505 |
0 |
0 |
|g 6
|t Second interlude: the Linda problem
|
| 505 |
0 |
0 |
|g 7
|t First- order logic
|
| 505 |
0 |
0 |
|g 8
|t Postlude
|
| 505 |
0 |
0 |
|g Appendix A
|t The natural deduction rules
|
| 505 |
0 |
0 |
|g Appendix B
|t Denotational semantics
|
| 505 |
0 |
0 |
|g Appendix C
|t Solutions to some exercises
|
| 541 |
|
|
|c CO
|a Journal
|e O.P.:69766, exp.: 498605/10, E2
|
| 541 |
|
|
|c CO
|a Journal
|e O.P.:69704, exp.: 498605/10, E1
|h {ARS}317,52
|
| 562 |
|
|
|e 2 ej.
|
| 653 |
1 |
0 |
|a LOGICA MATEMATICA
|
| 653 |
1 |
0 |
|a TEORIA DE CONJUNTOS
|
| 691 |
|
7 |
|2 fcen-at
|a matematica
|
| 700 |
1 |
|
|a Hodges, Wilfrid
|4 aut
|e autor
|
| 901 |
|
|
|a BIBLO
|b 00044217
|o NOEMI
|o NOEMI
|n 6
|q Noemí Bassa Palau
|
| 931 |
|
|
|a DM
|b LOGICA Y COMPUTABILIDAD
|
| 942 |
|
|
|2 udc
|n 0
|
| 962 |
|
|
|a info:eu-repo/semantics/book
|a info:ar-repo/semantics/libro
|b info:eu-repo/semantics/publishedVersion
|
| 976 |
|
|
|a AEX
|
| 997 |
|
|
|a MONOGRAF
|
| 999 |
|
|
|c 34717
|d 34717
|