ElisTarskiPf
B
Sections
NuprlLIB
Doc
Rank
Theorem
Name
2
Thm*
t:Term. s(t) = SUBX(q(t); SUBX(q(f(t)); Q(q(f(t)))))
[s1]
cites
1
Thm*
t:Term. closed(t)
[up_term_closed]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t:Term. s(t) = SUBX(q(t); SUBX(q(f(t)); Q(q(f(t)))))t:Term. closed(t)t:Term. s(t) = SUBX(q(t); SUBX(q(f(t)); Q(q(f(t)))))t:Term. closed(t)