Elementary induction on abstract structures / Yiannis N. Moschovakis
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Moschovakis, Yiannis N.
|
| Titolo: |
Elementary induction on abstract structures / Yiannis N. Moschovakis
|
| Pubblicazione: | Amsterdam : 1974 |
| Descrizione fisica: | x, 218 p. ; 24 cm. |
| Disciplina: | 511.35 |
| Soggetto topico: | Hierarchies |
| Higher-type and set recursion theory | |
| Induction | |
| Recursive functions | |
| Classificazione: | AMS 03D55 |
| AMS 03D60 | |
| AMS 03D65 | |
| Note generali: | Includes index. |
| Bibliography: p. 209-212 | |
| ISBN: | 0444105379 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 991000847339707536 |
| Lo trovi qui: | Univ. del Salento |
| Opac: | Controlla la disponibilità qui |
Serie:
Studies in logic and the foundations of mathematics, ISSN 0049237X ; v. 77