Source: wikibot/kleene-brouwer-order

= Kleene–Brouwer order
{wiki=Kleene–Brouwer_order}