Pages that link to "Item:Q286970"

The following pages link to One unary function says less than two in existential second order logic (Q286970):

Displaying 2 items.

• 2002 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '02 (Q4432544) (← links)
• Fifty years of the spectrum problem: survey and new results (Q4902770) (← links)