by Golan, Rea
Published in The Philosophical quarterly (01.12.2023)

by van Atten, Mark
Published in Indagationes mathematicae (01.12.2018)

by Iemhoff, Rosalie, Jalali, Raheleh
Year of Publication 18.05.2023

by Troelstra, Anne S
Year of Publication 1969

by Joaquin, Jeremiah Joven
Published in Journal of mathematics and the arts (02.10.2023)

by Piecha, Thomas, Wehmeier, Kai F
Year of Publication 2024

by Iemhoff, Rosalie, Jalali, Raheleh
Published in arXiv.org (03.12.2024)

by Gordeev, L, Haeusler, E. H
Year of Publication 04.12.2020

by CHECCOLI, SARA, WIDMER, MARTIN
Published in Mathematical proceedings of the Cambridge Philosophical Society (01.07.2013)

by Andersen, Line Edslev, Johansen, Mikkel Willum, Sørensen, Henrik Kragh
Published in Synthese (Dordrecht) (01.11.2021)

by Cupillari, Antonella
Year of Publication 2005

by Hanna, Gila, Villiers, Michael de
Year of Publication 2012

by Vetois, Jerome
Published in Calculus of variations and partial differential equations (01.03.2015)

by Sherstov, Alexander A.
Published in Journal of the ACM (01.11.2014)

by Giusti, Andrea, Mainardi, Francesco
Year of Publication 2020

Year of Publication 2020

by Mahmoudi, M. G.
Published in The American mathematical monthly (21.04.2019)

by De Giacomo, Giuseppe, Ternovska, Eugenia, Reiter, Ray
Published in Annals of mathematics and artificial intelligence (01.06.2020)

by Więckowski, Bartosz
Published in Journal of logic, language, and information (01.03.2021)

by Carboni, A.
Published in Journal of pure and applied algebra (15.09.1995)