The language of first-order logic : Including the IBM-compatible Windows version of Tarski's World 4.0
Material type:
- 9760937073904
Contents:
Preface -- Part 1Propositional logic -- Part 2 Quantifiers -- Part 3 Aplications of First-order Logic -- Part 4 Advanced topics -- General Index -- Tarski's World index -- Excersice files index
Item type | Home library | Call number | Status | Date due | Barcode | |
---|---|---|---|---|---|---|
![]() |
Biblioteca de la Facultad de Informática | J.2 BAR (Browse shelf(Opens below)) | Available | DIF-00342 |
Preface -- Part 1Propositional logic -- Part 2 Quantifiers -- Part 3 Aplications of First-order Logic -- Part 4 Advanced topics -- General Index -- Tarski's World index -- Excersice files index