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

• Autore: Boolos, George
• Edizione: 5. ed.
• Descrizione fisica: XIII-350 p. : ill. ; 26 cm.
• Soggetto topico: Logica matematica
• Altri autori: Burgess John P. Jeffrey Richard Carl
• ISBN: 9780521701464
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 991004383834607536
• Lo trovi qui: Univ. del Salento