Mitsu Okada Research Fields. (Japanese Page)

Logic (in particular , Proof Theory).

Logical Philosophy and Philosophy of Mathematics.

Logic in Computer Science and Theoretical Computer Science.

Philosophy of Knowledge and Epistemology.

Logical Semantics and its Application to Linguistics

Historical Studies in Logic and Philosophy

Please E-mail comments and questions to .
Thank you very much for your attention.