Skip to:Content
|
Bottom
Lectures on the Curry-Howard isomorphism için kapak resmi
Başlık:
Lectures on the Curry-Howard isomorphism
Yazar:
Sørensen, Morten Heine.
ISBN:
9780444520777

9780080478920
Basım Bilgisi:
1st ed.
Yayın Bilgileri:
Amsterdam ; Boston [MA] : Elsevier, 2006.
Fiziksel Tanımlama:
1 online resource (xiv, 442 p.) : ill.
Seri:
Studies in logic and the foundations of mathematics, v. 149
Seri Başlığı:
Studies in logic and the foundations of mathematics, 0049-237X ; v. 149
Yazar Ek Girişi:
Ayırtma:
Kopya:

Rafta:*

Kütüphane
Materyal Türü
Demirbaş Numarası
Yer Numarası
Durumu/İade Tarihi
Materyal Ayırtma
Arıyor...
E-Kitap 256636-1001 ONLINE
Arıyor...

On Order

Go to:Top of Page