Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | |||
sav08:lecture12 [2008/04/02 21:35] vkuncak |
sav08:lecture12 [2008/04/02 21:36] (current) vkuncak |
||
---|---|---|---|
Line 5: | Line 5: | ||
===== More on Equality ===== | ===== More on Equality ===== | ||
- | [[Factor Structures]] | + | [[Interpretation Quotient under Congruence]] |
[[Herbrand Universe for Equality]] | [[Herbrand Universe for Equality]] |