Formalism in AI and computer science /
Leith, Philip.
New York ; London : Horwood,
1990.
Bibliography: p212-221. - Includes index