Funder
Fundação de Amparo à Pesquisa do Estado de São Paulo
Alexander von Humboldt-Stiftung
Publisher
Springer Science and Business Media LLC
Reference29 articles.
1. Arp R, Smith B, Spear AD (2015) Building ontologies with Basic Formal Ontology. The MIT Press, Cambridge
2. Bechhofer S et al (2004) OWL Web Ontology Language Reference. https://www.w3.org/TR/owl-ref/
3. Beeson M, Narboux J, Wiedijk F (2019) Proof-checking Euclid. Ann Math Artif Intell 85(2–4):213–257
4. Bernays P (1922) Die Bedeutung Hilberts für die Philosophie der Mathematik. Die Naturwissenschaften 10:93–99
5. Brouwer LEJ (1949) Consciousness, philosophy and mathematics. In: Beth EW, Pos HJ, Hollak JHA (eds) Actes du Xme congrès international de philosophie (1948). North-Holland, Amsterdam, pp 1235–1249