Natural deduction, hybrid systems and modal logics
By: by Andrzej Indrzejczak
Series: Trends in logic -- vol. 30
Publisher: Springer
Published: 2010
Place of publication: Dordrecht; New York
Language: eng
Number of pages: 491
ISBN-13: 9789048187843
Subjects: Modality (Logic); Logic
Notes: Includes bibliographical references (p. [445]-466) and index.