| 
|
Quote: to reduce a formula, need to know how to reduce one of its simplest, non-constant subformulas
topics >
all references >
references a-b >
Topic:
reduction machines
Quotation Skeleton
To apply .rho. [the transition function] to a formula, that … non-constant subformulas. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: reduction machines (14 items)