Pages that link to "Item:Q5960015"

The following pages link to First-order Frege theory is undecidable (Q5960015):

Displaying 2 items.

• On the consistency of the \(\Delta_1^1\)-CA fragment of Frege's Grundgesetze (Q1857358) (← links)
• Frege, Boolos, and logical objects (Q1876080) (← links)