Metamath: A Computer Language for Mathematical Proofs by Norman Megill David A. Wheeler

Metamath: A Computer Language for Mathematical Proofs by Norman Megill David A. Wheeler

Author: Norman Megill, David A. Wheeler
Language: en
Format: pdf
Publisher: Lulu Press, Year


Download



Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.