Torben Bra Ner

T. B. ยท T. N.

titleISBN-13
(ISBN-10)
year of publication
Hybrid Logic and Its Proof-Theory978-94-OO7-OOO3-1
(94-OO7-OOO3-2)
2011

Torben Bramming