The Practical Arithmetic On The Inductiv by David H. Milne