剧情简介：The book starts with an elementary introduction to formal languages appealing to the intuition of working mathematicians and unencumbered by philosophical or normative prejudices such as those of constructivism or intuitionism. It proceeds to the Proof Theory and presents several highlights of Mathematical Logic of 20th century: Gödel's and Tarski's Theorems, Cohen's Theorem on...(展开全部)
作者：Yu. I. Manin
出版社：Springer
ISBN：9781441906144
