Selected papers on Automath
tarafından
 
Nederpelt, R. P. (Rob P.)

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
: 
AUTOMATH (Formal language)

Yazar Ek Girişi
: 
Nederpelt, R. P. (Rob P.)

Elektronik Erişim
: 
ScienceDirect http://www.sciencedirect.com/science/book/9780444898227


KütüphaneMateryal TürüDemirbaş NumarasıYer Numarası[[missing key: search.ChildField.HOLDING]]Durumu/İade Tarihi
Çevrimiçi KütüphaneE-Kitap257090-1001ONLINEElektronik Kütüphane