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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------
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,
------------------------- --------------------- ------ --------- ------- ------- --------- --------