Hybrid logic and its proof-theory
Brauner, Torben
Hybrid logic and its proof-theory - Dordrecht Springer 2011 - xiii, 231p. ; 24 cm. - Applied logic series : v.37 .
9789400700017
Logic, Symbolic and mathematical
511.3 / BRA
Hybrid logic and its proof-theory - Dordrecht Springer 2011 - xiii, 231p. ; 24 cm. - Applied logic series : v.37 .
9789400700017
Logic, Symbolic and mathematical
511.3 / BRA