Are Tableaux an Improvement on Truth-Tables? Cut-Free proofs and Bivalence (1992)

Cached

Download Links

by Marcello D'Agostino
Citations:12 - 0 self