- 出版社:Springer
- 出版年月:2025年 11月
- ISBN:9783032037954
- 装丁:HRD
-
装丁について
- 言語:ENG
- 巻数・ページ数:340 p.
- 内容紹介:
-
This textbook is a gently-paced, comprehensive introduction to model theory suitable for students of philosophy, linguistics, computer science, or mathematics who specialise in logic. More than 300 exercises with full solutions are designed to consolidate understanding and build confidence.