Vista normal Vista MARC Vista ISBD

Hamilton, A G 1943-

Logic for mathematicians / A. G. Hamilton. - Rev. edition. - Cambridge : Cambridge University Press, 1988. - viii, 228 p. : gráficos ; 23 cm.

Glosario de símbolos: p.220-223.

Incluye referencias (p.219) e índice (p. 224-228).

ISBN: 0521368650

Subjects--Topical Terms:
Lógica matemática
Teoría lógica
Cálculo de predicados
Cálculo de proposiciones
Cálculo de relaciones
Algoritmos

Dewey Class. No.: 511.3