Truth, Deduction, and computation. : Logic and semantics for computer science
Material type:
TextPublication details: Nueva York: Edition: -Description: 103 pISBN: - 0716782014
Contents:
Preliminary definitions -- Propositional logic -- Predicate calculus.
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Fotocopia
|
Biblioteca Fac.Informática | F.4.1 DAV depo (Browse shelf(Opens below)) | Available | DIF-F190 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
| F.4.1 BEL depo Models and ultraproducts : An introduction | F.4.1 BLA Modal Logic | F.4.1 COP Introducción a la lógica | F.4.1 DAV depo Truth, Deduction, and computation. : Logic and semantics for computer science | F.4.1 EIL depo Recursiveness | F.4.1 GAL Logic for computer science : foundations of automatic theorem proving | F.4.1 HAM Logic for mathematicians |
Preliminary definitions -- Propositional logic -- Predicate calculus.
There are no comments on this title.