## Classical Logic as Limit Completion

by
Stefano Berardi
,
Università Di Torino

Venue: | Mathematical Structures in Computer Science |

Citations: | 1 - 0 self |