Proof Theory of Modal Logic by Heinrich Wansing (English) Hardcover Book
165,52 €
By Heinrich Wansing. Author Heinrich Wansing. Edited by Heinrich Wansing. I Standard Proof Systems. - A Contraction-free Sequent Calculus for S4. - Transfer of Sequent Calculus Strategies to Resolution for S4.
Jetzt bei Ebay: