Realizability girro 2015年5月8日 11 阅读 0 评论 未分类 Realizability Realizability Subtitle: An Introduction to its Categorical Side by: van Oosten, Jaap Paperback: 327 pages Publisher: Elsevier Science( April 16, 2008 ) ISBN-10: 0444515844 代发服务PDF电子书10元立即求助