Return to Article Details
On Some Universal Propositional Proof Systems for Many-Valued Logic
Download
Download PDF