The following pages link to (Q5571677):
Displaying 15 items.
- Reduction and Tarski's definition of logical consequence (Q558729) (← links)
- What is the world of mathematics? (Q598279) (← links)
- Significato e verita nell'aritmetica peaniana (Q1221103) (← links)
- Effective dimension (Q1232405) (← links)
- Are the traditional philosophies of mathematics really incompatible? (Q1323041) (← links)
- Field on the notion of consistency (Q1374214) (← links)
- Cantor and generalized continuum hypotheses may be false (Q1878216) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- From Pictures to Semantical Games: Hintikka’s Journey Through Semantic Representationalism (Q3299571) (← links)
- A Bit of History Related to Logic Based on Equality (Q3454805) (← links)
- The monadic hybrid calculus (Q4586221) (← links)
- Dialectic, the Dictum de Omni and Ecthesis (Q5208123) (← links)
- WHAT CAN A CATEGORICITY THEOREM TELL US? (Q5402238) (← links)
- Functional explanation in mathematics (Q6182767) (← links)
- Signed dual tableaux for Kleene answer set programs (Q6599615) (← links)
