当前位置：在线查询网 > 图书大全 > An Introduction to Mathematical Logic and Type Theory

An Introduction to Mathematical Logic and Type Theory_图书大全


请输入要查询的图书：

可以输入图书全称，关键词或ISBN号

An Introduction to Mathematical Logic and Type Theory

副标题: To Truth Through Proof

ISBN: 9781402007637

出版社: Springer

出版年: 2002-7-31

页数: 390

定价: USD 169.00

装帧: Hardcover

关键词：An Introduction to Mathematical Logic and Type Theory