The metamathematics of algebraic systems (1971)

by A I Mal’cev
Venue:Studies in Logic and The Foundations of Mathematics 66