Logic and algorithms : with applications to the computer and information sciences. - Korfhage, Robert R. (New York, New York : Willey, 1967)
Keywords: LOGICA, SIMBOLICA Y MATEMATICA; ALGORITMOS