Telecharger Cours

Mathematical Logic

We start with the set of all primitive recursive sets and r~move members that M may infer, and show that a nonempty set remains. Let b. := h (the empty string), ...



Download