Vai al contenuto principale della pagina

2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Cori, René Visualizza persona
Titolo: 2: Recursion theory, Godels theorems, set theory, model theory / René Cori and Daniel Lascar ; translated by Donald H. Pelletier Visualizza cluster
Pubblicazione: Oxford, : Oxford University, 2001
Descrizione fisica: XX, 331 p. : ill. ; 24 cm
Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
03E30 - Axiomatics of classical set theory and its fragments [MSC 2020]
03F30 - First-order arithmetic and fragments [MSC 2020]
03C07 - Basic properties of first-order languages and structures [MSC 2020]
03D20 - Recursive functions and relations, subrecursive hierarchies [MSC 2020]
Altri autori: Lascar, Daniel  
Persona (resp. second.): Pelletier, Donald H.
Titolo autorizzato: Recursion theory, Godels theorems, set theory, model theory  Visualizza cluster
ISBN: 978-01-985005-0-6
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: VAN0021140
Lo trovi qui: Univ. Vanvitelli
Localizzazioni e accesso elettronico https://books.google.it/books?id=zDrqGvJhSPIC&printsec=frontcover&dq=Mathematical+Logic,+a+course+with+exercises+cori&hl=it&sa=X&ved=0ahUKEwiRjKvWpI3TAhUJORoKHaIbCHAQ6AEIIzAB#v=onepage&q=Mathematical%20Logic%2C%20a%20course%20with%20exercis
Opac: Controlla la disponibilità qui
Fa parte di: Mathematical logic : a course with exercises / René Cori and Daniel Lascar ; translated by Donald H. Pelletier Oxford . -Oxford University , 2000-2001 volumi , 24 cm ; 2