Yazar
Torben Brauner
2 cilt bulundu.
Cilt sonuçları
Hybrid Logic and its Proof-Theory
Torben Braüner · Springer
240 sayfa · 2011
Philosophy (General) / Symbolic and mathematical Logic / Computer science / Logic / Proof theory
Advances in Modal Logic Volume 9
Thomas Bolander, Torben Brauner, Silvio Ghilardi · College Publications
Sayfa sayısı yok · 2012
Kategori yok