ISBN 0359702236 books & textbook

Metamath: A Computer Language for Mathematical Proofs

Megill, Norman Wheeler, David A

Lulu.com /2019-06-06 Hardcover / 248 Pages
isbn-10: 0359702236 / isbn-13: 9780359702237