1950
3 works on record
A recursive introduction to the theory of computation
1994
Mathematical logic and theoretical computer science
Learning and geometry