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.: UNINA990000985520403321
• Autore: Logic colloquium : <1979
• Pubbl/distr/stampa: Cambridge : Cambridge University Press, 1980
• ISBN: 0-521-23543-X
• Descrizione fisica: 319 p. ; 23 cm
• Collana: London Mathematical Society lecture note series ; 45
• Disciplina: 160
• Locazione: FI1
• Collocazione: 7-241
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia