Hybrid logic and its proof-theory [electronic resource] / by Torben Braüner.

Author
Braüner, Torben [Browse]
Format
Book
Language
English
Published/​Created
Dordrecht : Springer, c2011.
Description
xiii, 231 p.

Details

Subject(s)
Series
Bibliographic references
Includes bibliographical references and index.
Reproduction note
Electronic reproduction. New York : Springer, 2010. Mode of access: World Wide Web. System requirements: Web browser. Title from title screen (viewed on Dec. 9, 2010). Access may be restricted to users at subscribing institutions.
In
Springer eBooks mathematics and statistics collection
ISBN
  • 9789400700024 (electronic bk.)
  • 9400700024 (electronic bk.)
OCLC
695387415
Statement on language in description
Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...
Other views
Staff view

Supplementary Information