Generalized recursion theory : proceedings of the 1972 Oslo symposium

Saved in:
Bibliographic Details
Corporate Author: Symposium on generalized recursion theory :Oslo
Other Authors: Fenstad, Jens Erik, 1935-2020 (Publishing director), Hinman, Peter G. (Publishing director)
Format: Livre papier
Language:Anglais
Published: Amsterdam [etc.] : New-York : North-Holland Publishing Company ; American Elsevier Publishing Company, inc. 1974.
Series:Studies in logic and the foundations of mathematics volume 79
Subjects:
Autres localisations: Voir dans le Sudoc
Description
Physical Description:1 vol. (VIII-456 p.) ; 23 cm.
Bibliography:Bibliogr. p. 445-451. Index
ISBN:0720422760 (North-Holland)
044410545X (American Elsevier)