Nuprl - Pf formula_valid_wf 1 1

PrintForm Definitions formula validity Sections ClassicalProps(jlc) Doc

At: formula valid wf 1 1

1. F: Formula

Full(F) Type

By: MemberEqCD

Generated subgoals:

None

About: