Recursion theory : its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979 / edited by F. R. Drake and S. S. Wainer

• Record Nr.: UNIBAS000015667
• Autore: Logic colloquium : <1979
• Pubbl/distr/stampa: Cambridge [etc.] : Cambridge University Press, 1980
• ISBN: 0-521-23543-X
• Descrizione fisica: 319 p. ; 23 cm.
• Collana: London Mathematical Society Lecture Note Series ; 45
• Disciplina: 511.35
• Soggetti: Logica matematica - Congressi
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia