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