Metamath: A Computer Language for Mathematical ProofsAvNorman Megill,David A. WheelerInbunden, Engelska, 2019491 krLägg i varukorgLägg tillSkickas inom 5-8 vardagar