Logic programming : operational semantics and proof theory /

Bibliographic Details
Main Author:	Andrews, James H.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1992.
Series:	Distinguished dissertations in computer science.
Subjects:	Logic programming. Programming languages (Electronic computers) > Semantics.

Description
Physical Description:	xi, 104 pages ; 26 cm.
Bibliography:	Includes bibliographical references (pages 89-94) and index.
ISBN:	0521432197