General Recursion Theory: An Axiomatic Approach

• Record Nr.: UNINA9910482880203321
• Autore: Fenstad Jens Erik
• Pubbl/distr/stampa: [Place of publication not identified], : Springer, 1980
• Disciplina: 511/.3
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph