Subsystems of Second Order Arithmetic (Perspectives in Logic) by Stephen G.
48,70 €
Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs.
Jetzt bei Ebay: