Labelled deductive systems / Dov M. Gabbay.
Materyal türü:
MakaleSeri kaydı: Oxford logic guides ; 33 | Oxford science publicationsYayın ayrıntıları:New York : Oxford : Oxford University Press, Clarendon Press ; 1996-Tanım: v. 1 : ill. ; 24 cmISBN: - 0198538332 (v. 1)
- 20 160
- BC71
| Materyal türü | Geçerli Kütüphane | Yer numarası | Durum | Barkod | |
|---|---|---|---|---|---|
| Book | NEU Grand Library General Collection | BC71 .G3 1996 (Rafa gözat(Aşağıda açılır)) | Kullanılabilir | 1188480838 |
Includes bibliographical references and index.
Bu materyal hakkında henüz bir yorum yapılmamış.
Hesabınız ile oturum açın bir yorum göndermek için.