The language of first-order logic : Including the IBM-compatible Windows version of Tarski's World 4.0

By: Material type: TextTextPublication details: Stanford : [S.n.], 1992Edition: 3rd ed. rev. and expandedDescription: xiv, 319 p. : il, 23 cmISBN:
  • 9760937073904
Subject(s):
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
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Home library Call number Status Date due Barcode
Libro Libro 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