Preliminary investigations on induction over real numbers

Cached

Download Links

by Gilles Dowek
Citations:4 - 0 self