Cconstructive algebras, I, The Metamathematics of Algebraic Systems (1971)

by A I Mal’cev
Venue:Collected papers: 1936 – 1967