Kleene–Brouwer ordering

Redirect to:

• Kleene–Brouwer order