The undecidable : Basic papers on undecidable propositions, unsolvable problems and computable functions / Edited by Martin Davis

• Record Nr.: UNISA990003227240203316
• Pubbl/distr/stampa: New York : Raven Press, 1965
• Descrizione fisica: 440 p. ; 23 cm
• Disciplina: 511.3
• Soggetti: Logica matematica
• Collocazione: 511.3 UND
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia