Login / Signup
Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus.
Kosta Dosen
Published in:
J. Log. Comput. (1991)
Keyphrases
</>
propositional calculus
fixed point
markov chain