Generalized recursion theory

• Record Nr.: UNINA990001291950403321
• Pubbl/distr/stampa: Amsterdam [etc.] : North-Holland
• Collana: Studies in logic and the foundations of mathematics
• Locazione: MA1
• Collocazione: C-30-(79
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia