Local cover image
Local cover image

Truth, deduction, and computation : logic and semantics for computer science

By: Material type: TextTextPublication details: Nueva York : Computer SciencDescription: 103 pISBN:
  • 0716782014
Subject(s):
Contents:
Preliminary definitions -- Propositional logic -- Predicate calculus.
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 F.4.1 DAV depo (Browse shelf(Opens below)) Available DIF-F190

Preliminary definitions -- Propositional logic -- Predicate calculus.

Click on an image to view it in the image viewer

Local cover image