剧情简介：Elementary set theory accustoms the students to mathematical abstraction, includes the standard constructions of relations, functions, and orderings, and leads to a discussion of the various orders of infinity. The material on logic covers not only the standard statement logic and first-order predicate logic but includes an introduction to formal systems, axiomatization, and mo...(展开全部)
作者：Partee, Barbara
出版社：Springer
ISBN：9789027722454
