Adapting Proofsasprograms the Curryhoward Protocol [Monographs in Computer Science] (Paperback) → Hardcover ISBN-13: 9781441920140 ISBN-10: 1441920145 ? Combinatorial Functors Ergebnisse Der Mathematik Und Ihrer Granzgebiete Band 81 (Hardcover) ISBN-13: 9780387064284 ISBN-10: 0387064281 ? Growing Ideas of Number [The Emergence of Number] (Paperback) ISBN-13: 9780864317094 ISBN-10: 0864317093 ? The Nine Chapters on the Mathematical Art Companion and Commentary (Hardcover) ISBN-13: 9780198539360 ISBN-10: 0198539363 Genres: History, Science & Math, Substores ? What Is Mathematical Logic (Paperback) ISBN-13: 9780198880875 ISBN-10: 0198880871 Genres: Science & Math, Politics & Social Sciences ? |