Computability theory : an introduction to recursion theory /
Includes bibliographical references (p. 163-164) and index
Autore principale: | |
---|---|
Natura: | |
Lingua: | eng |
Pubblicazione: |
Amsterdam ; Boston : Academic Press,
c201
|
Soggetti: |