Logic/ Wilfrid Hodges.
Material type:![Text](/opac-tmpl/lib/famfamfam/BK.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
![](/opac-tmpl/bootstrap/images/filefind.png)
Item type | Current location | Collection | Call number | Copy number | Status | Date due | Barcode |
---|---|---|---|---|---|---|---|
![]() |
Biblioteca Central Euclides Jaramillo Arango GENERAL | Papel | 160 H688 (Browse shelf) | Ej.1 | Available | 053244 |
Includes bibliographical references (page 325) and index.
Consistency -- Expressing beliefs in sentences -- When is a sentence true? -- Testing for consistency and validity -- How are complex stences build up? -- Logical analysis -- Sentence tableaux -- Propositional calculus -- Designators and identity -- Relations -- Quantifiers -- Predicate logic -- Horizons of logic.
Verificado 16-09-2020
There are no comments on this title.