Gentzen Calculi for Modal Propositional Logic
By: by Francesca Poggiolesi
Contributors: SpringerLink (Online service)
Series: Trends in Logic -- 32
Publisher: Springer Science+Business Media B.V.
Published: 2011
Place of publication: Dordrecht
Language: eng
Format: [electronic resource] /
ISBN-13: 9789048196692; 9789048196708
Subjects: Mathematics; Computer vision; Philosophy (General)