Logic, form and function : the mechanization of deductive reasoning - Robinson, John Alan (New York, New York : Elsevier North Holland Biomedical Press, 1979)
Keywords: RAZONAMIENTO; FORMA (LOGICA)