Nuprl - Pf K or wf

(3steps) PrintForm Definitions Kleene Sections ClassicalProps(jlc) Doc

At: K or wf

p,q:. p q

By: UnivCD

Generated subgoal:

1 1. p:
2. q:
p q

About:

(3steps) PrintForm Definitions Kleene Sections ClassicalProps(jlc) Doc