ElisTarskiPf B NuprlLIB Doc

Defined Operators mentioned in ElisTarskiPf B

DefA Term[termof]
DefProp[prop]core
Defclosed(t)[term_closed]
Defs(t)[s]
DefRepsTruth(L; Tr; tr)[RepsTruth]
DefFalse[false]core
DefA & B[cand]core
DefReflectsProp(P; qP; Tr)[ReflectsProp]
Defx reps y[repst]
Defx reps y t[reps]
Defx:A. B(x)[all]core
Deff(t)[f]
Deft/e[subx]
DefRespectsNot(Tr; L)[RespectsNot]
DefA[not]core
DefP & Q[and]core
DefP Q[iff]core
Def{T}[guard]core
DefP Q[implies]core
Defx:A. B(x)[exists]core
DefP Q[rev_implies]core

About:
productproductvoidsetapplyfunctionuniverse
equalpropimpliesandfalseallexists

ElisTarskiPf B NuprlLIB Doc