Implementing Mathematics With the Nuprl Proof Development System

Development

by R. L. Constable

Hardcover

details (USA).

ISBN: 978-0-13-451832-9

ISBN-10: 0-13-451832-2

Prentice Hall · 1986