Inductive logic on an intuitionistic Basic. - Williams A. G. Prys (1978)