Hybrid logic and its proof-theory
Brauner,Torben
Hybrid logic and its proof-theory Torben Brauner - Dordrecht: Springer, 2010 - xiii, 231 p. 23 cm
Contine Bibliografie si Index
eng
9789400734357
511.3
Hybrid logic and its proof-theory Torben Brauner - Dordrecht: Springer, 2010 - xiii, 231 p. 23 cm
Contine Bibliografie si Index
eng
9789400734357
511.3