From euclidean geometry to knots and nets
pp. 2715-2736
Détails de la publication
Publié dans:
Bueno Otávio, Sher Gila (2019) Between first- and second-order logic. Synthese 196 (7).
Pages: 2715-2736
DOI: 10.1007/s11229-017-1558-x
Citation complète:
Larvor Brendan, 2019, From euclidean geometry to knots and nets. Synthese 196 (7), Between first- and second-order logic, 2715-2736. https://doi.org/10.1007/s11229-017-1558-x.