- Author: Geraint Jones
- Language: English
- Year: 1988
- Author: Spivey J.M.
- Language: English
- Year: 2008
- Author: Robin Milner
- Language: English
- Author: Hoare Charles Antony Richard Shepherdson J.C. (eds.)
- Language: English
- Year: 1985
Computation as logic
djvu
- Author: Lalement René
- Language: English
- Year: 1993
- Author: Findlay William, Hughes John, Watt David A
- Language: English
- Year: 1990
- Author: Hay Atholl, Welsh Jim
- Language: English
- Year: 1986
Computation as logic
djvu
- Author: Rene Lalement John Plaice
- Language: English
- Year: 1993
- Author: M. Ben-Ari
- Language: English
- Year: 2006
- Author: Jim Welsh John Elder
- Language: English
- Year: 1987