sur 25
The Metamathematics of Algebraic Systems — Lev D. Beklemishev