Computability and logic / George S. Boolos, Richard C. Jeffrey

• Autore: Boolos, George
• Pubblicazione: New York, : Cambridge university, 1989
• Edizione: 3rd ed
• Descrizione fisica: X, 304 p. ; 23 cm.
• Soggetto topico: 03-XX - Mathematical logic and foundations [MSC 2020]; 03Dxx - Computability and recursion theory [MSC 2020]; 03B25 - Decidability of theories and sets of sentences [MSC 2020]; 03F30 - First-order arithmetic and fragments [MSC 2020]; 03H15 - Nonstandard models of arithmetic [MSC 2020]; 03F40 - Gödel numberings and issues of incompleteness [MSC 2020]; 03B45 - Modal logic (including the logic of norms) [MSC 2020]; 03B10 - Classical first-order logic [MSC 2020]
• Altri autori: Jeffrey, Richard C.
• Titolo autorizzato: Computability and logic
• ISBN: 05-213-8923-2; 978-05-213-8923-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: SUN0053087
• Lo trovi qui: Univ. Vanvitelli