- Author: Matloff Norman S.
- Language: English
- Year: 2020
- Author: Robin Milner
- Language: English
- Author: Boizumault Patrice, Djamboulian Ara M., Fattouh Jamal
- Language: English, French
- Year: 1993
- Author: Ligges Uwe, Mersmann Olaf, Weihs Claus
- Language: English
- Year: 2014
- Author: Hoare Charles Antony Richard Shepherdson J.C. (eds.)
- Language: English
- Year: 1985
- Author: Chaitin Gregory J
- Language: English
- Year: 1987
Computation as logic
djvu
- Author: Lalement René
- Language: English
- Year: 1993
- Author: Collazo Rodrigo, Görgen Christiane, Smith J. Q
- Language: English
- Year: 2018
- Author: Alberto Leon Garcia and Indra Widjaja
- Language: English
- Year: 2003
- Author: Martinez Angel R., Martinez Wendy L., Solka Jeffrey L
- Language: English
- Year: 2017