Rudiments of u-calculus / A. Arnold, D. Niwinski
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: | Arnold, A. |
| Titolo: |
Rudiments of u-calculus / A. Arnold, D. Niwinski
|
| Pubblicazione: | Amsterdam : Elsevier, c2001 |
| Descrizione fisica: | xi, 277 p. ; cm24 |
| Disciplina: | 511.3 |
| Soggetto non controllato: | Logica algebrica |
| Computer science - Matematica | |
| Titolo autorizzato: | Rudiments of u-calculus |
| ISBN: | 0-444-50620-9 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 990001499970403321 |
| Lo trovi qui: | Univ. Federico II |
| Collocazione: | C-30-(146 |
| Opac: | Controlla la disponibilità qui |