Classical logic as Limit Completion, -a constructive model for non-recursive maps-, submitted (2001)

by S Berardi