Mathematical Logic and Set Theory (Second Edition)

Author: Shi Chunyi
Publisher:
Publish Date: 2000-12-01
Features: This book introduces mathematical logic, including the basic concepts of propositional and predicate logic, equivalence and inference calculus, as well as axiomatic systems, model theory, and proof theory. It also covers set theory, including sets, relations, functions, the set of real numbers, and cardinality.