Jekeri Okee - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 4 from 4

1976

A species-algebraic interpretation of the intuitionistic propositional calculusJekeri Okee. ndjfl, 17(2):222-232, 1976. [doi]

Completeness of the algebra of speciesJekeri Okee. ndjfl, 17(3):392-394, 1976. [doi]

On the independence of the fundamental operations of the algebra of speciesJekeri Okee. ndjfl, 17(4):526-530, 1976. [doi]

1975

A semantical proof of the undecidability of the monadic intuitionistic predicate calculus of the first orderJekeri Okee. ndjfl, 16(4):552-554, 1975. [doi]

Sign in or sign up to see more results.

runs on WebDSL