Computability theory : an introduction to recursion theory /

Includes bibliographical references (p. 163-164) and index

Bibliografiske detaljer
Hovedforfatter: 461543 Enderton, Herbert B.
Format:
Sprog:eng
Udgivet: Amsterdam ; Boston : Academic Press, c201
Fag: