Truth, deduction, and computation

Título:

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

Autor:

Davis, Ruth E.

Colaboradores:

Temas:

LÓGICA MATEMÁTICA ; 

Localización electrónica:

Descripción física:

103 p.

ISBN:

0716782014

Idioma:

Inglés, 

País:

Estados Unidos

Publicación:

Nueva York : Computer Science

Puede solicitar más fácilmente el ejemplar con: F.4.1 DAV depo

Preliminary definitions
Propositional logic
Predicate calculus.