Standard completeness : proof-theoretic and algebraic methods / eingereicht von Paolo Baldi. 2015
Inhalt