1
by Turing, Alan
Published 2001
Elsevier Science

2
by Fenstad, Jens Erik
Published 1978
North-Holland Pub. Co.

4
by Gandy, R. O.
Published 1977
North-Holland Pub. Co.