| _notes | |||
| ClausalInduction.html | |||
| IntroAutomatedDeduction.html | |||
| LambdaCalculus.html | |||
| LambdaLogic.html | |||
| LambdaTyping.html | |||
| LambdaUnification.html | |||
| OtterLambda.html | |||
| P-predicate.html | |||
| PeanoArithmetic.html | |||
| Ramanujan1-quality15.jpg | |||
| Typing.html | |||
| Unification.html | |||
| body.php | |||
| comparison.html | |||
| footer.php | |||
| functions.php | |||
| head.php | |||
| index.html |