Vai al contenuto principale della pagina
Autore: | Ershov, Yuri L. |
Titolo: | Definability and computability / Yuri L. Ershov |
Pubblicazione: | New York ; London, : Consultants Bureau, 1996 |
Titolo uniforme: | Opredelimost’ i vychislimost’ |
Descrizione fisica: | XIV, 264 p. ; 24 cm |
Soggetto topico: | 03Dxx - Computability and recursion theory [MSC 2020] |
03E47 - Other notions of set-theoretic definability [MSC 2020] | |
03D70 - Inductive definability [MSC 2020] | |
Titolo autorizzato: | Opredelimost’ i vychislimost’ |
ISBN: | 03-06-11039-3 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | VAN0055976 |
Lo trovi qui: | Univ. Vanvitelli |
Localizzazioni e accesso elettronico | /sebina/repository/catalogazione/documenti/Ershov - Definability and computability.pdf |
Opac: | Controlla la disponibilitĂ qui |