Formal methods in artificial intelligence - Ramsay, Allan (Cambridge Cambridge University Press, 1988)
Keywords: Artificial Intelligence -- Methodology; Logic, Symbolic And Mathematical