Kolmogorov and Mathematical Logic (1992)

by V A Uspensky
Venue:Journal of Symbolic Logic