RECURSION : ABBREV

RECURSION is a logical abbreviation.
No more help available. Sorry.
LAMBDA h(SSS) LAMBDA g(S) LAMBDA n(O(OI)) THAT m(S) FORALL w(OSS).w ZERO(S) g AND FORALL x(S) FORALL y(S) [w x y IMPLIES w [SUCC(SS) x].h x y] IMPLIES w n m

TPS documentation homepage


RECURSION : TEX-CHAR

RECURSION is a tex special character.
Prints as RECURSION

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage