Pages that link to "Item:Q603904"

The following pages link to A formalist philosophy of mathematics. I: Arithmetic (Q603904):

Displaying 2 items.

• Theory of semi-instantiation in abstract argumentation (Q528522) (← links)
• INFORMAL PROOF, FORMAL PROOF, FORMALISM (Q2804472) (← links)