Page 717 of 800
| Page 717 of 800 | Search internet |
A term like 
is an illformed metaterm because a metaoperator like 
is not permitted to occur in arguments of object operator like 
.
As another example, 
is illformed because 
is no meta-variable. For the precise definition of wellformed metaterms, see the check page.
| Page 717 of 800 | Search logiweb.eu |