[Studies in Logic and the Foundations of Mathematics] HANDBOOK OF MATHEMATICAL LOGIC Volume 90 || Recursion in Higher Types*
Kechris, Alexander S.Year:
1977
Language:
english
DOI:
10.1016/s0049-237x(08)71119-4
File:
PDF, 1.94 MB
english, 1977