A tour through mathematical logic - Wolf, Robert S. (Washington, D.C. : Mathematical Association of America, 2005)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; ALGEBRA ABSTRACTA; PROBLEMAS, EJERCICIOS, ETC; TEORIA AXIOMATICA DE CONJUNTOS; TEOREMA DE GODEL; MATEMATICAS CONSTRUCTIVAS; MATEMATICOS; BIOGRAFIAS