Mitsuhiro Okada
Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert
2002
in: Progress in discovery science, Dordrecht : Springer
Drug interaction ontology (dio) and the resource-sensitive logical inferences
2006
in: Algebra, meaning, and computation, Dordrecht : Springer
2008
in: One hundred years of intuitionism (1907–2007), Dordrecht : Springer
Syntactic reduction in Husserl's early phenomenology of arithmetic
2016
Synthese 193/3