A Formalization of Austrian Economics. Praxeological Foundations: The Base System and Its Derived Theorems | Digital Library | PAMCET | PAMCET