Vai al contenuto principale della pagina

A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Hedman, Shawn Visualizza persona
Titolo: A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman Visualizza cluster
Pubblicazione: Oxford, : Oxford university, 2004
Descrizione fisica: XX, 431 p. : ill. ; 24 cm.
Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
Titolo autorizzato: First course in logic  Visualizza cluster
ISBN: 01-985298-0-5
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: SUN0051461
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico /sebina/repository/catalogazione/documenti/Hedman - A First Course in Logic.pdf
Opac: Controlla la disponibilità qui
Serie: Oxford texts in logic ; 1 Oxford . -Oxford university.