Lógica para matemáticos
Hamilton, A.G.
Lógica para matemáticos - Madrid : Paraninfo , 1981?
8428311013
DEX-M6054
TEOREMA DE INCOMPLETITUD
SISTEMAS MATEMATICOS
PREDICADOS INFORMAL
PREDICADOS FORMAL
ENUNCIADOS FORMAL
ENUNCIADOS INFORMAL
510.6
Lógica para matemáticos - Madrid : Paraninfo , 1981?
8428311013
DEX-M6054
TEOREMA DE INCOMPLETITUD
SISTEMAS MATEMATICOS
PREDICADOS INFORMAL
PREDICADOS FORMAL
ENUNCIADOS FORMAL
ENUNCIADOS INFORMAL
510.6