Vai al contenuto principale della pagina

Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Epstein, Richard L. Visualizza persona
Titolo: Computability : computable functions, logic, and the foundations of mathematics, with Computability - a timeline / Richard Epstein, Walter Carnielli Visualizza cluster
Pubblicazione: Belmont ; London, : Wadsworth, 1999
Edizione: 2. ed
Descrizione fisica: 337 p. : ill. ; 24 cm
Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
03Dxx - Computability and recursion theory [MSC 2020]
Altri autori: Carnielli, Walter A.  
Titolo autorizzato: Computability  Visualizza cluster
ISBN: 05-345-4644-7
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN00023713
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui