The following pages link to (Q3966102):
Displaying 7 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)
