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
|
| 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
|
| 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 |
| ISBN: | 05-216-3550-0 |
| 978-05-216-3550-9 | |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | VAN00019452 |
| 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 , 1980- ; 259