Logic for mathematicians
Material type:
TextPublication details: Cambridge : Cambridge University Press, 2000Edition: Rev. ed., reprDescription: viii, 228 p. ; 23 cmISBN: - 0521368650
Contents:
Informal statement calculus -- Formal statement calculus -- Informal predicate calculus -- Formal predicate calculus -- Mathematical systems -- The Gödel incompleteness theorem -- Computability, unsolvability, undecidability
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
Biblioteca Fac.Informática | F.4.1 HAM (Browse shelf(Opens below)) | Available | DIF-02012 |
Browsing Biblioteca Fac.Informática shelves Close shelf browser (Hides shelf browser)
| 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 | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos | F.4.1 HAM Lógica para matemáticos |
Incluye ejercicios, lecturas adicionales y glosario de símbolos. --
Informal statement calculus -- Formal statement calculus -- Informal predicate calculus -- Formal predicate calculus -- Mathematical systems -- The Gödel incompleteness theorem -- Computability, unsolvability, undecidability
There are no comments on this title.