1985 (with Leon Henkin and Donald Monk).
1985 (Leon Henkin ve Donald Monk ile birlikte).