Indescribability and n-order logic

Printable View