Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourba
Explores sets and relations, the natural number sequence and its generalization, extension of natural numbers to real numbers, logic, informal axiomatic mathema
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be us
This two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be us