1956
3 works on record
Computability in context
New computational paradigms
Complexity, logic, and recursion theory