Smith, Carl H.1950 · 3 obras en el catálogoObrasMathematical logic and theoretical computer scienceLearning and geometryA recursive introduction to the theory of computation1994