The Synthesis Company of San Francisco Mountain Logo
Absolutely independent axiomatizations for countable sets in classical logic | doi.page