Implementing Mathematics with The Nuprl Proof Development System

作者: R L Constable
出版社: CreateSpace Independent Publishing Platform
出版年: 2012-1-23
页数: 310
定价: USD 12.90
装帧: Paperback
ISBN: 9781468059106