Parametre
Kategórie
Nákup knihy
Mechanizing Proof, Donald MacKenzie
- Jazyk
- Rok vydania
- 2004
- product-detail.submit-box.info.binding
- (mäkká)
Akonáhle sa objaví, pošleme vám e-mail.
Doručenie
Platobné metódy
Navrhnúť zmenu
- Titul
- Mechanizing Proof
- Jazyk
- anglicky
- Autori
- Donald MacKenzie
- Vydavateľ
- MIT Press
- Rok vydania
- 2004
- Väzba
- mäkká
- ISBN10
- 0262632950
- ISBN13
- 9780262632959
- Kategórie
- Spoločenské vedy