Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
gallier_logic_book [2007/03/28 23:00] vkuncak |
gallier_logic_book [2007/03/28 23:01] vkuncak |
||
---|---|---|---|
Line 9: | Line 9: | ||
* 5.1, 5.2, 5.3 (first-order logic) | * 5.1, 5.2, 5.3 (first-order logic) | ||
* 5.4 (proof system for first-order logic) | * 5.4 (proof system for first-order logic) | ||
- | * | ||
- | * 10.6 (Congruence Closure) | ||
* 6.5 Interpolation | * 6.5 Interpolation | ||
+ | * 8 Resolution | ||
+ | * 10.6 (Congruence Closure) | ||
However, please check the dependencies for chapters. | However, please check the dependencies for chapters. | ||