Logic for mathematicians

Título:

Logic for mathematicians

Autor:

Hamilton, A. G.

Temas:

LÓGICA MATEMÁTICA ; 

Edición:

Rev. ed., repr.

Localización electrónica:

Descripción física:

viii, 228 p. ; 23 cm.

ISBN:

0-521-36865-0

Idioma:

Inglés, 

País:

Reino Unido

Publicación:

Cambridge : Cambridge University Press, 2000

Nota general:

Incluye ejercicios, lecturas adicionales y glosario de símbolos. --

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

Informal statement calculus
Formal statement calculus
Informal predicate calculus
Formal predicate calculus
Mathematical systems
The Gödel incompleteness theorem
Computability, unsolvability, undecidability