Citations of work:

Jekeri Okee (1975). A Semantical Proof of the Undecidability of the Monadic Intuitionistic Predicate Calculus of the First Order.

Order:
Are we missing citations?

PhilPapers citations & references are currently in beta testing. We expect to add many more in the future.

Meanwhile, you can use our bibliography tool to import references for this or another work.

Or you can directly add citations for the above work:

Nothing found.