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

• Autore: Cori, René
• 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
• 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