Applied logic
Subtitle: its use and implementation as a programming tool
By: David H.D. Warren
Contributors: University of Edinburgh
Published: 1977
Language: eng
Notes: Thesis (doctoral)--University of Edinburgh, 1977.