num_pages: 506
description: (Reprint of the 1967 edition)
language: English
title: Theory of Recursive Functions and Effective Computability
publisher: The MIT Press