Implementing Mathematics With the Nuprl Proof Development System - Hardcover

Constable, R. L.

 
9780134518329: Implementing Mathematics With the Nuprl Proof Development System

Weitere beliebte Ausgaben desselben Titels

9781468059106: Implementing Mathematics With the Nuprl Proof Development System

Vorgestellte Ausgabe

ISBN 10:  1468059106 ISBN 13:  9781468059106
Verlag: Createspace Independent Pub, 2012
Softcover