Describing proofs by short tautologies

View PDF

Download Links

by Stefan Hetzl
Venue:Annals of Pure and Applied Logic
Citations:4 - 2 self