|
|
|
|
LEADER |
00000cam a22000002a 4500 |
001 |
ocm46357984 |
003 |
OCoLC |
005 |
20221118093616.0 |
008 |
040827s2001 ne a b 001 0 eng d |
035 |
|
|
|a (Sirsi) i9780444506207
|
040 |
|
|
|a DLC
|d UV#
|
020 |
|
|
|a 0444506209
|
050 |
|
4 |
|a QA10
|b A76
|
082 |
|
4 |
|a 511.3/24
|2 21
|
100 |
1 |
|
|a Arnold, A.
|q (André),
|d 1945-
|
245 |
1 |
0 |
|a Rudiments of [mu]-calculus
|c / A. Arnold, D. Niwinski.
|
260 |
|
|
|a Amsterdam
|b : Elsevier,
|c 2001.
|
300 |
|
|
|a xvii, 277 p.
|b : il.
|c ; 23 cm.
|
490 |
0 |
0 |
|a Studies in logic and the foundations of mathematics
|v ; 146
|
504 |
|
|
|a Incluye bibliografías.
|
650 |
|
4 |
|a Lógica algebraica.
|9 356719
|
650 |
|
0 |
|a Monotonic functions.
|
650 |
|
7 |
|a Teoría del punto fijo
|9 365428
|
650 |
|
7 |
|a Teoría reticular
|9 356720
|
650 |
|
7 |
|a Teoría de las máquinas
|9 356721
|
700 |
1 |
2 |
|a Niwinski, Damian.
|
596 |
|
|
|a 2
|
942 |
|
|
|c LIBRO
|
999 |
|
|
|c 171288
|d 171288
|