在哈佛短暂讲授之后赴苏黎世与贝奈斯（Paul Bernays）一路工作。1954-1956年，在牛津大学任第二届约翰·洛克讲座主讲，又任逻辑及数理哲学高级教职，主持数学根本会商班。
基于16个网页-相关网页
之后赴苏黎世与贝奈斯
Then to Zurich and Benes
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动