Languages, Structures, and Theories
摘要
We introduce the fundamental concepts of mathematical logic: languages, structures, satisfaction, theories, logical consequences, and definable sets.