Abramson, Harvey Logic grammars/ Harvey Abramson - New York Springer- Verlag 1989 - xiv, 234p. - Symbolic Computation-Artificial Intelligence . Subjects--Topical Terms: Logic programming.Symbolic computation.Artificial intelligence.