The following pages link to (Q3966102):
Displaying 9 items.
- Consistency, models, and soundness (Q551223) (← links)
- Frege on number properties (Q603908) (← links)
- Logic, ontology, mathematical practice (Q1202496) (← links)
- The colorful variety of mathematical games. A discourse about nature of mathematics (Q1345438) (← links)
- Finite mathematics. (Q1578768) (← links)
- Formalism and Hilbert's understanding of consistency problems (Q2042732) (← links)
- Mathematics and Reality (Q3094972) (← links)
- Second-order languages and mathematical practice (Q3727947) (← links)
- Frege's Puzzle and Arithmetical Formalism. Putting Things in Context (Q4983339) (← links)
