×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [bck term]
Documents
Slides 07 1 Restricted -terms and logics Definition (1D1) A -term P is called a I-term iff, for each subterm with the form x M in P, x occurs free in
217 views