Başlık:
Selected papers on Automath
Yazar:
Nederpelt, R. P. (Rob P.)
ISBN:
9780444898227
Yayın Bilgileri:
Amsterdam ; New York : Elsevier, 1994.
Fiziksel Tanımlama:
1 online resource (xix, 1024 p.) : ill.
Seri:
Studies in logic and the foundations of mathematics ; v. 133
Seri Başlığı:
Studies in logic and the foundations of mathematics ; v. 133
Konu Terimleri:
Yazar Ek Girişi:
Elektronik Erişim:
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227Kopya:
Rafta:*
Kütüphane | Materyal Türü | Demirbaş Numarası | Yer Numarası | Durumu/İade Tarihi | Materyal Ayırtma |
|---|---|---|---|---|---|
Arıyor... | E-Kitap | 257090-1001 | ONLINE | Arıyor... | Arıyor... |