Login / Signup

Certain formulas equivalent to the axiom of choice.

Boleslaw Sobocinski
Published in: Notre Dame J. Formal Log. (1961)
Keyphrases
  • inference rules
  • multi agent systems
  • modal logic
  • horn clauses
  • mathematical formulas