The courses given at the 1st C.I.M.E. Summer School of 1988 dealt with the main areas on the borderline between applied logic and theoretical computer science. These courses are recorded here in five expository papers: S. Homer: The Isomorphism Conjecture and its Generalization.- A. Nerode: Some Lectures on Intuitionistic Logic.- R.A. Platek: Making Computers Safe for the World. An Introduction to Proofs of Programs. Part I. – G.E. Sacks: Prolog Programming.- A. Scedrov: A Guide to Polymorphic Types.
€29.64
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● ISBN 9783540471356 ● 编辑 Piergiorgio Odifreddi ● 出版者 Springer Berlin Heidelberg ● 发布时间 2006 ● 下载 3 时 ● 货币 EUR ● ID 6376875 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
49,595 此类电子书
