Introduction to Model Theory and to the Metamathematics of Algebra

GPTKB entity