Computability theory : an introduction to recursion theory /

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

מידע ביבליוגרפי
מחבר ראשי: 461543 Enderton, Herbert B.
פורמט:
שפה:eng
יצא לאור: Amsterdam ; Boston : Academic Press, c201
נושאים: