160 / B738h
Brauner, Torben
Hybrid logic and its proof-theory
/ Torben Brauner
.- Berlin: Springer, 2011
.- xiii, 231p .
.- ( Applied Logic Series / Edited By Dov M. Gabbay V.37
ISBN: 9789400700017
Subject Headings:
Science of reasoning;
Copy Details:
Acc. No.: A171135, Full Call No.: 160 B738h, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------