Elementos de lógica teórica - Hilbert, David (Madrid : Tecnos, 1962)
Keywords: LOGICA SIMBOLICA Y MATEMATICA