Pages that link to "Item:Q1372941"

The following pages link to Provability in principle and controversial constructivistic principles (Q1372941):

Displaying 2 items.

• Non-deterministic logic of informal provability has no finite characterization (Q2071578) (← links)
• REALIZABILITY SEMANTICS FOR QUANTIFIED MODAL LOGIC: GENERALIZING FLAGG’S 1985 CONSTRUCTION (Q5737943) (← links)