机译:尚·范·海耶努特(JEAN VAN HEIJENOORT)眼中的赫伯兰德基本定理
机译:Jean van Heijenoort眼中的Herbrand基本定理
机译:Jean van Heijenoort对证明理论及其历史的贡献
机译:让·范·海耶诺尔特(Jean van Heijenoort)的学术出版物,由lrving H. Anellis编辑
机译:Herbrand属性,有限的拟Herbrand模型以及用于量化联合查询的Chandra-Merlin定理
机译:复数和代数几何中的正定性和消失定理。
机译:自然选择的基本和次要定理的误差界。
机译:让·凡·海耶诺尔(Jean Van Heijenoort):多变的生活,值得多部小说。
机译:位于宾夕法尼亚州珍妮特的珍妮特玻璃公司的健康危害评估报告No. 80-19-765