Metamath: A Computer Language for Mathematical Proofs Norman Megill

Name: Metamath: A Computer Language for Mathematical Proofs By Norman Megill
SKU: 9780359702237
Price: 34.19 GBP
Availability: InStock

Metamath: A Computer Language for Mathematical Proofs by Norman Megill

Reviews:

£34.19

Condition - New

Only 2 left

New

Metamath: A Computer Language for Mathematical Proofs Summary

Metamath: A Computer Language for Mathematical Proofs by Norman Megill

Unfortunately we do not have a summary for this item at the moment

Additional information

Sku

NPB9780359702237

ISBN 13

9780359702237

ISBN 10

0359702236

Title

Metamath: A Computer Language for Mathematical Proofs by Norman Megill

Author

Norman Megill

Condition

New

Binding type

Hardback

Publisher

Lulu.com

Year published

2019-06-06

Number of pages

248

Prizes

N/A

Cover note

Book picture is for illustrative purposes only, actual binding, cover or edition may vary.

Note

This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time