Rudiments of [mu]-calculus
tarafından
 
Arnold, A. (André), 1945-

Başlık
: 
Rudiments of [mu]-calculus

Yazar
: 
Arnold, A. (André), 1945-

ISBN
: 
9780444506207
 
9780585474335

Basım Bilgisi
: 
1st ed.

Yayın Bilgileri
: 
Amsterdam ; New York : Elsevier, 2001.

Fiziksel Tanımlama
: 
1 online resource (xvii, 277 p.) : ill.

Seri
: 
Studies in logic and the foundations of mathematics, v. 146

Seri Başlığı
: 
Studies in logic and the foundations of mathematics, 0049-237X ; v. 146

Konu Terimleri
: 
Algebraic logic.
 
Monotonic functions.
 
Fixed point theory.
 
Lattice theory.
 
Machine theory.

Yazar Ek Girişi
: 
Niwiński, Damian.

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


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