A Calculational Approach to Mathematical Induction (1994)

Cached

Download Links

by Henk Doornbos , Roland Backhouse , Jaap Van Der Woude
Citations:1 - 0 self