Metamath: A Computer Language for Mathematical Proofs

AvNorman Megill,David A. Wheeler

Inbunden, Engelska, 2019

478 kr

Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

Ada 95

David A. Wheeler

Häftad

550 kr

  • Nyhet

Sallad!

Danyel Couet

Kartonnage

279 kr