Metamath: A Computer Language for Mathematical Proofs
Inbunden, Engelska, 2019
629 kr
Beställningsvara. Skickas inom 5-8 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum2019-06-06
- Mått152 x 229 x 18 mm
- Vikt515 g
- FormatInbunden
- SpråkEngelska
- Antal sidor248
- FörlagLulu.com
- ISBN9780359702237