Cargando…

Rudiments of [mu]-calculus

Detalles Bibliográficos
Autor principal: Arnold, A. (André), 1945-
Otros Autores: Niwinski, Damian
Formato: Libro
Lenguaje:English
Publicado: Amsterdam : Elsevier, 2001.
Colección:Studies in logic and the foundations of mathematics ; 146
Materias:

MARC

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