Classical Logic as Limit Completion

Cached

Download Links

by Stefano Berardi , Università Di Torino
Venue:Mathematical Structures in Computer Science
Citations:1 - 0 self