Proofs and Algorithms An Introduction to Logic and Computability

Başlık:

Yazar:

Dowek, Gilles. author.

ISBN:

9780857291219

Fiziksel Tanımlama:

VIII, 195p. online resource.

Seri:

Undergraduate Topics in Computer Science,

Seri Başlığı:

Undergraduate Topics in Computer Science, 1863-7310

Konu Terimleri:

Tüzel Kişi Ek Girişi:

Elektronik Erişim:

Ayırtma:
Kopya:

Kütüphane	Materyal Türü	Demirbaş Numarası	Yer Numarası	Durumu/İade Tarihi	Materyal Ayırtma
Arıyor... Çevrimiçi Kütüphane	E-Kitap	168427-2001	ONLINE	Arıyor... Unknown	Arıyor... Rafta