Choice Card

Model ⎽⎽⎽⎽⎽⎽⎽⎽ applies the methods of mathematical logic to study models of particular mathematical theories.

Belongs to subject History of logic

Model ⎽⎽⎽⎽⎽⎽⎽⎽ applies the methods of mathematical logic to study models of particular mathematical theories.