Logic for mathematicians
Hamilton, A. G.
Logic for mathematicians - Rev. ed., repr. - Cambridge : Cambridge University Press, 2000 - viii, 228 p. ; 23 cm.
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
0521368650
DIF001528
LÓGICA MATEMÁTICA
Logic for mathematicians - Rev. ed., repr. - Cambridge : Cambridge University Press, 2000 - viii, 228 p. ; 23 cm.
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
0521368650
DIF001528
LÓGICA MATEMÁTICA