塔尔斯基的代表做有哪些？

塔尔斯基(1902年一 1983年)，美国籍的数学 家、逻辑学家，数理逻辑模子论分收的创始者之 一。他提出语义学办法，成立一个定义给定语言 的实语句。在哲学范畴，认可聚集论中的假定是 实在的，他利用无限性的聚集论概念，并以此来 奠基了他语义学办法的开展根底。塔尔斯基次要 有《实理的语义学概念和语义学的根底》、《形 式语言中的实理概念》等论著。