Vvédénié v Métamatématiku.by Stephen Cole Kleene; A. S. Ésénin-Vol'pin; V. A. Uspénskij
Review by: David D. Comey and J. Barkley RosserVolume:
25
Language:
english
Journal:
The Journal of Symbolic Logic
DOI:
10.2307/2964719
Date:
September, 1960
File:
PDF, 517 KB
english, 1960