Uninterpreted function: Difference between revisions

Content deleted Content added
m Example: lower case.
Line 28:
* [[Initial algebra]]
* [[Term algebra]]
* [[Theory of pure equality]]
 
==Notes==