Classical Logic as Limit Completion (0)

by S Berardi
Venue:Mathematical Structures in Computer Science