Return to Article Details
Logic TK: Algebraic Notions from Tarski’s Consequence Operator
Download
Download PDF