Vai al contenuto principale della pagina

Rudiments of [mu]-calculus [electronic resource] / A. Arnold, D. Niwiński



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Arnold, André Visualizza persona
Titolo: Rudiments of [mu]-calculus [electronic resource] / A. Arnold, D. Niwiński Visualizza cluster
Pubblicazione: Amsterdam ; New York : Elsevier, 2001
Descrizione fisica: xvii, 277 p. : ill. ; 23 cm
Disciplina: 511.324
Soggetto topico: Algebraic logic
Monotonic functions
Fixed point theory
Lattice theory
Machine theory
Altri autori: Niwiński, Damian  
Nota di bibliografia: Includes bibliographical references (p. [269]-273) and index
ISBN: 9780444506207
0444506209
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: b13660020
Lo trovi qui: Univ. del Salento
Localizzazioni e accesso elettronico http://www.sciencedirect.com/science/publication?issn=0049237X&volume=146
Opac: Controlla la disponibilità qui
Serie: Studies in logic and the foundations of mathematics, 0049-237X ; v. 146