Parametry
Kategorie
Nákup knihy
Mechanizing Proof, Donald MacKenzie
- Jazyk
- Rok vydání
- 2004
Jakmile ji vyčmucháme, pošleme vám e-mail.
Doručení
Platební metody
Navrhnout úpravu
- Titul
- Mechanizing Proof
- Jazyk
- anglicky
- Autoři
- Donald MacKenzie
- Vydavatel
- MIT Press
- Vydavatel
- 2004
- Vazba
- měkká
- ISBN10
- 0262632950
- ISBN13
- 9780262632959
- Kategorie
- Společenské vědy