TY - JOUR AU - McKenna, Travis IS - 5 JA - Synthese PB - Springer Verlag PY - 2022 TI - Structure and applied mathematics VL - 200 ER -