51
Hend	Hendriks, Alex.     Computations in propositional logic [Текст] : Academisch proefschrift ter verkrijging van de graad van doctor aan de Universiteit van Amsterdam / A. Hendriks; Universiteit van Amsterdam, Institute for logic, language and computation. — Amsterdam : [S. n.], 1996. — V1, 188 p.
ISBN 90-74795-44-7