Hybrid Logic and its Proof-Theory
tarafından
Braüner, Torben. author.
Başlık
:
Hybrid Logic and its Proof-Theory
Yazar
:
Braüner, Torben. author.
ISBN
:
9789400700024
Fiziksel Tanımlama
:
XIII, 231 p. online resource.
Seri
:
Applied Logic Series, 37
Seri Başlığı
:
Applied Logic Series, 1386-2790 ; 37
Konu Terimleri
:
Philosophy (General).
Logic.
Computer science.
Logic, Symbolic and mathematical.
Tüzel Kişi Ek Girişi
:
SpringerLink (Online service)
Elektronik Erişim
:
| Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | [[missing key: search.ChildField.HOLDING]] | Durumu/İade Tarihi |
|---|
| Çevrimiçi Kütüphane | E-Kitap | 205716-2001 | ONLINE | | Elektronik Kütüphane |