J. Lake

发表

John Lake, J. Lake, 1979, Notre Dame J. Formal Log..

John Lake, J. Lake, 1973, Journal of Symbolic Logic.

John Lake, J. Lake, 1975, Journal of Symbolic Logic.