top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
Autore Hedman, Shawn
Pubbl/distr/stampa Oxford, : Oxford university, 2004
Descrizione fisica XX, 431 p. : ill. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 01-985298-0-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0051461
Hedman, Shawn  
Oxford, : Oxford university, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
Autore Hedman, Shawn
Pubbl/distr/stampa Oxford, : Oxford university, 2004
Descrizione fisica XX, 431 p. : ill. ; 24 cm.
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
ISBN 01-985298-0-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0051461
Hedman, Shawn  
Oxford, : Oxford university, 2004
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
A first course in logic : an introduction to model theory, proof theory, computability, and complexity / Shawn Hedman
Autore Hedman, Shawn
Pubbl/distr/stampa Oxford : Oxford University Press, 2004
Descrizione fisica xx, 431 p. : ill. ; 25 cm
Disciplina 160
Collana Oxford texts in logic ; 1
Soggetto topico Logic
Logic, Symbolic and mathematical
ISBN 0198529813 (pbk.)
Classificazione AMS 03-01
LC QA9.H36
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-b13389324
Hedman, Shawn  
Oxford : Oxford University Press, 2004
Materiale a stampa
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui