ElisTarskiPf
B
Sections
NuprlLIB
Doc
Rank
Theorem
Name
2
Thm*
t,x:Term. (t reps x)
Prop
[repst_wf]
cites
1
Thm*
t,x:Term. (t reps x
Term)
Prop
[reps_wf2]
ElisTarskiPf
B
Sections
NuprlLIB
Doc
t,x:Term. (t reps x) 
Propt,x:Term. (t reps x Term) Propt,x:Term. (t reps x) Propt,x:Term. (t reps x Term) Prop