Generalized recursion theory II [E-Book] : proceedings of the 1977 Oslo Symposium / edited by J.E. Fenstad, R.O. Gandy, G.E. Sacks.
Fenstad, Jens Erik.
Gandy, R. O. / Sacks, Gerald E.
Amsterdam : North-Holland Pub. Co., 1978
1 online resource (vii, 417 p.)
englisch
9780080955025
0080955029
Studies in logic and the foundations of mathematics ; v. 94
Full Text
Description not available.