Pages that link to "Item:Q2988842"

The following pages link to Büchi Automata Recognizing Sets of Reals Definable in First-Order Logic with Addition and Order (Q2988842):

Displayed 2 items.

• First-Order Logic and Numeration Systems (Q4613547) ‎ (← links)
• (Q5009704) ‎ (← links)