The logic of induction (1988)

by H Mortimer, I Graig, A G Cohn