Hybrid Logic and its Proof-Theory
Autor:
Torben Braüner
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
551.35
lei
Hybrid Logic and its Proof-Theory demonstrates that hybrid-logical proof-theory remedies the lack of...
