عنوان
پدید آورنده
موضوع
رده
QA 10 .A76 2001
QA
10
.
A76
2001
کتابخانه
محل استقرار
137230
تابستان۳۸
English
)20(
Arnold, A.)Andre(
1945-
Rudiments of ]mu[-calculus
Amsterdam
Elsevier
2001
xvii, 277 p.: ill.; 23 cm
Studies in logic and the foundations of mathematics, 9400-732X
v.146
Includes bibliographical references and index
1st ed
، Algebraic logic
، Monotonic functions
، Fixed point theory
، Lattice theory
، Machine theory
QA
10
.
A76
2001
AU
A. Arnold, D. Niwinski
AU naimaD ,iksniwiN
TI
SE
02
