1 Table of Contents: “...A Portrait of a Scientist as a Computational Logician -- A Portrait of a Scientist as a...”

2 “... began it all. Written by Martin Davis, respected logician and researcher in the theory of computation...”

3 “... began it all. Written by Martin Davis, respected logician and researcher in the theory of computation...”

4 “... mathematical logicians and theoretical computer scientists, providing them with new insights into the various...”

5 “... in applications that arise in computer science and discrete mathematics. We are not logicians, but programming...”

6 “.... The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western...”

7 “...In the 1930s, mathematical logicians studied the notion of "effective comput­ ability" using...”

8

9 “... intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists...”

10 “...Logicians have developed beautiful algorithmic techniques for the construction of computably...”

11 “... analysis and biological computing. Logicians and theoretical physicists will also benefit fromthis book...”

12 “... by Jon Bar­ wise, is in point of fact a handbook written by logicians for other mathe­ maticians...”

13 “... logician, scientist, and philosopher of the first rank at the beginning of the 20th century. This book...”

14 “..., and the distinguished logician Martin Davis, who provides a first critical essay on an emerging and controversial field...”