Recursion theory its generalisations and applications : proceedings of Logic Colloquium '79, Leeds, August 1979

Bibliographische Detailangaben
1. Verfasser: Drake, F. R. (Frank Robert)
Format: Buch
Veröffentlicht: Cambridge Cambridge University Press 1980.
Schlagworte: