Generalized recursion theory II : proceedings of the 1977 Oslo symposium

Salvato in:
Dettagli Bibliografici
Ente Autore: Symposium on Generalized Recursion Theory :Oslo
Altri autori: Fenstad, Jens Erik, 1935-2020 (Direttore editoriale), Gandy, Robin O., 1919-1995 (Direttore editoriale), Sacks, Gerald, 1933-2019 (Direttore editoriale)
Natura: Livre papier
Lingua:Anglais
Pubblicazione: Amsterdam ; New-York ; Oxford : North-Holland 1978.
Serie:Studies in logic and the foundations of mathematics 94
Soggetti:
Autres localisations: Voir dans le Sudoc
Descrizione
Descrizione fisica:1 vol. (VII-417 p.) ; 23 cm.
Bibliografia:Notes bibliogr
ISBN:0444851631