Kolmogorov and mathematical logic (1992)

by V Uspensky
Venue:The Journal of Symbolic Logic