Pages that link to "Item:Q365661"

The following pages link to A note on definability in fragments of arithmetic with free unary predicates (Q365661):

Displaying 2 items.

• Notes on the computational aspects of Kripke's theory of truth (Q526739) (← links)
• Decidability of Difference Logic over the Reals with Uninterpreted Unary Predicates (Q6492767) (← links)