Recursion Theory for Metamathematics
Publisher: Oxford University Press, Incorporated
Published: 1993
Language: eng
ISBN-13: 9780195344813
Subjects: Recursion theory