The mathematics of logic : a guide to completeness theorems and their applications / Richard Kaye

• Autore: Kaye, Richard
• Pubblicazione: Cambridge, : Cambridge university, 2007
• Descrizione fisica: XI, 204 p. ; 23 cm
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]
• Titolo autorizzato: Mathematics of logic
• ISBN: 978-05-217-0877-7
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0064290
• Lo trovi qui: Univ. Suor Orsola Benincasa
• Localizzazioni e accesso elettronico: /sebina/repository/catalogazione/documenti/Kaye - The mathematics of logic.pdf