ElisTarskiPf
B
Sections
NuprlLIB
Doc
Theorem
Name
Thm*
t:Term. closed(t)
[up_term_closed]
cites
Thm*
t:(Term Term). closed(t)
[term_term_closed]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t:Term. closed(t)t:(Term Term). closed(t)t:Term. closed(t)t:(Term Term). closed(t)