剧情简介：Explores additional important decidability results in this thoroughly updated new edition Introduces mathematical logic by analyzing foundational questions on proofs and provability in mathematics Highlights the capabilities and limitations of algorithms and proof methods both in mathematics and computer science Examines advanced topics, such as linking logic with computability...(展开全部)
作者：Heinz-Dieter Ebbinghaus
出版社：Springer
ISBN：9783030738389
