Enumerability, Decidability, Computability

副标题: An Introduction to the Theory of Recursive Functions

ISBN: 9783540045014

出版社: Springer-Verlag Berlin and Heidelberg GmbH & Co. K

出版年: 1969-12-31

装帧: Hardcover