On hyperarithmetical realizability
Konovalov, A. Yu., Plisko, V. E.Volume:
98
Language:
english
Journal:
Mathematical Notes
DOI:
10.1134/S0001434615110073
Date:
November, 2015
File:
PDF, 772 KB
english, 2015