Hybrid logic and its proof-theory
By: by Torben Braüner
Series: Applied logic series -- v. 37; Applied logic series -- v. 37.
Publisher: Springer
Published: 2011
Place of publication: Dordrecht
Language: eng
Number of pages: 231
Copyright date: 2011
Subjects: Symbolic and mathematical Logic
Notes: Includes bibliographical references and index.