1
Logic Programming [E-Book] : Operational Semantics and Proof Theory /
Subject (ZB): ...Programming languages (Electronic computers) -- Semantics....

Full text