Vai al contenuto principale della pagina

Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Epstein, Richard L. Visualizza persona
Titolo: Computability : computable functions, logic, and the foundations of mathematics / Richard L. Epstein, Walter A. Carnielli Visualizza cluster
Pubblicazione: Pacific Grove (CA), : Wadsworth & Brooks/Cole Advanced Books & Software, c1989
Titolo uniforme: Computability : computable functions, logic, and the foundations of mathematics  
Descrizione fisica: VII, 297 p. ; 24 cm
Disciplina: 511.3
Soggetto topico: Logica simbolica
Logica matematica
Funzioni computabili
Altri autori: Carnielli, Walter Alexandre  
Note generali: Bibliografia: P. 271-278.
Titolo autorizzato: Computability : computable functions, logic, and the foundations of mathematics  Visualizza cluster
ISBN: 0534103561
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: TO00074266
Lo trovi qui: Univ. del Sannio
Collocazione: SALA DING 511.3 EPS.co
Opac: Controlla la disponibilità qui
Serie: Cole mathematics series The Wadsworth & Brooks/Cole mathematics series