Vai al contenuto principale della pagina

Computability and Logic / George Boolos, Richard Jeffrey



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Boolos, George Visualizza persona
Titolo: Computability and Logic / George Boolos, Richard Jeffrey Visualizza cluster
Pubblicazione: Cambridge : Cambridge University Press, 1974
Descrizione fisica: X, 262 p. ; 24 cm
Disciplina: 160
Soggetto non controllato: Logica
Ricorsività
Persona (resp. second.): Jeffrey, Richard
Titolo autorizzato: Computability and Logic  Visualizza cluster
ISBN: 0-521-20402-X
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000964420403321
Lo trovi qui: Univ. Federico II
Collocazione: 7-151
Opac: Controlla la disponibilità qui