Pages that link to "Item:Q5305552"

The following pages link to Strong Logics of First and Second Order (Q5305552):

Displaying 2 items.

• Transfinite recursion and computation in the iterative conception of set (Q510712) (← links)
• Second-order logic and the power set (Q1702982) (← links)