Pages that link to "Item:Q1577355"

The following pages link to Modal deduction in second-order logic and set theory. II (Q1577355):

Displaying 2 items.

• Three-variable statements of set-pairing (Q1885036) (← links)
• Linear ordering on graphs, anti-founded sets and polynomial time computability (Q1960423) (← links)