Thirty Five Years of Automating Mathematics (Applied Logic Series (28), Band 28) | DealShopping Deutschland