Logic programming : operational semantics and proof theory
James H. Andrews.
Cambridge ; New York : Cambridge University Press, 1992.
xi, 104 págs. : ilustraciones ; 26 cm.
Serie: Distinguished dissertations in computer science
ISBN: 0521432197
GB92-03126
Incluye referencias bibliográficas (p. 89-94) e índice.