Combinators, -Terms and Proof Theory - Synthese Library - S. Stenlund - 图书 - Springer - 9789401029155 - 2011年10月12日
如封面与标题不符，以标题为准

S. Stenlund
Combinators, -Terms and Proof Theory - Synthese Library Softcover reprint of the original 1st ed. 1972 edition

价格
元 708
不含税

远程仓调货

预计送达时间 年7月13日 - 年7月23日

顾客评价：

根据欧洲消费者保护法享受14天退换货政策
Trustpilot平台高分认证
添加至iMusic心愿单

其他版本：

The aim of this monograph is to present some of the basic ideas and results in pure combinatory logic and their applications to some topics in proof theory, and also to present some work of my own.

194 pages, biography

介质类型 图书     Paperback Book   (平装胶订图书)
已发行 2011年10月12日
ISBN13 9789401029155
出版商 Springer
页数 177
商品尺寸 155 × 235 × 10 mm   ·   276 g
语言 英语  

Mere med samme udgiver

查看S. Stenlund的全部作品 ( 例如 Hardcover Book 及 Paperback Book )