Metamath A Computer Language for Mathematical Proofs
£31.48
Includes FREE deliveryRRP £33.14 – you save £1.66 (5%)
Order before 4pm today for delivery by Tue 30 Jun 2026.
A Hardback by Norman Megill, David A. Wheeler
Trusted by thousands of customers. See 2,385+ Customer Reviews
View other formats and editions of Metamath A Computer Language for Mathematical Proofs by Norman Megill
Publisher: Lulu.com
Publication Date:
ISBN13: 9780359702237, 978-0359702237
ISBN10: