Implementing Mathematics With the Nuprl Proof Development System

作者: R. L. Constable
出版社: Prentice Hall
出版年: 1986-04
定价: USD 41.00
装帧: Hardcover
ISBN: 9780134518329