Mathematical Aspects Of Logic Programming Semantics by Anthony Seda | Menrva Books | MenrvaBooks