剧情简介：Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities. Part I offers an elementary but thorough overview of mathematical logic of first order. Part II introduces some of the newer ideas and the more profound results of logical research in the twentieth centur...(展开全部)
作者：Stephen Cole Kleene
出版社：Dover Publications
ISBN：9780486425337
