Home > People > Profile
4 Publications
Mirja Hartimo, Mitsuhiro Okada
Synthese 193 (3)
Mitsuhiro Okada
in: One hundred years of intuitionism (1907–2007), Berlin,
in: Algebra, meaning, and computation, Berlin,
in: Progress in discovery science, Berlin,