Metamath
Subtitle: A Computer Language for Mathematical Proofs
Publisher: Lulu.com
Published: Jun 06, 2019
Format: hardcover
Number of pages: 248
ISBN-13: 9780359702237
Notes: Source title: Metamath: A Computer Language for Mathematical Proofs