Implementing Mathematics With the Nuprl Proof Development System - Rilegato

Constable, R. L.

 
9780134518329: Implementing Mathematics With the Nuprl Proof Development System

Altre edizioni note dello stesso titolo

9781468059106: Implementing Mathematics With the Nuprl Proof Development System

Edizione in evidenza

ISBN 10:  1468059106 ISBN 13:  9781468059106
Casa editrice: Createspace Independent Pub, 2012
Brossura