Metamath: A Computer Language for Mathematical Proofs
Full Title: | Metamath: A Computer Language for Mathematical Proofs |
---|---|
ISBN: | 0359702236 |
ISBN13: | 9780359702237 |
Authors: |
Megill, Norman Wheeler, David A. |