karl bühler digital

Home > People > Profile

ProfilePublications

Mitsuhiro Okada

editions X

4 Publications

Syntactic reduction in Husserl's early phenomenology of arithmetic

2016

Mirja Hartimo, Mitsuhiro Okada

Synthese 193 (3)

Some remarks on linear logic

2008

Mitsuhiro Okada

in: One hundred years of intuitionism (1907–2007), Berlin,

Drug interaction ontology (dio) and the resource-sensitive logical inferences

2006

Mitsuhiro Okada

in: Algebra, meaning, and computation, Berlin,

Ideal concepts, intuitions, and mathematical knowledge acquisitions in Husserl and Hilbert

2002

Mitsuhiro Okada

in: Progress in discovery science, Berlin,

4 Publications