Vai al contenuto principale della pagina

Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: European Meeting of the Association for Symbolic Logic on Sets and Proofs : 1997 Visualizza persona
Titolo: Models and computability : invited papers from logic colloquium '97, european meeting of the Association for Symbolic Logic, Leeds, July 1997 / edited by S. Barry Cooper, John K. Truss Visualizza cluster
Pubblicazione: Cambridge, : Cambridge University, 1999
Descrizione fisica: VI, 419 p. ; 24 cm
Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
03Cxx - Model theory [MSC 2020]
Persona (resp. second.): Cooper, S. Barry
Truss, John K.
Titolo autorizzato: Models and computability  Visualizza cluster
ISBN: 05-216-3550-0
978-05-216-3550-9
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN0019452
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico /sebina/repository/catalogazione/documenti/Cooper, Truss - Models and computability.pdf
Opac: Controlla la disponibilità qui
Serie: London Mathematical Society lecture notes series Cambridge . -Cambridge university. ; 259