Koha online

Normal view MARC view ISBD view

Brauner, Torben

Hybrid logic and its proof-theory - Dordrecht: Springer, 2011 - xiii, 231 p.; ill.: 25 cm. - Applied Logic series .

ISBN: 9789400700017 (hbk)

Subjects--Topical Terms:
Logic, Symbolic and mathematical
Hybrid logics
Proof theory
Proposition logic

Dewey Class. No.: 511.3 / BRA