J. van Heijenoort | Researchain

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where J. van Heijenoort is active.

Explore More

Publication

Featured researches published by J. van Heijenoort.

Journal of Symbolic Logic | 1971

Review: G. E. Minc, Analog Teoremy Erbrana dla Konstruktivnogo Iscislenia Predikatov; G. E. Minc, R. N. Goss, An Analogue of Herbrand's Theorem for the Constructive Predicate Calculus

J. van Heijenoort

Journal of Symbolic Logic | 1975

Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory

J. van Heijenoort

Journal of Symbolic Logic | 1975

Bernays Paul. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968 , edited by Kino A., Myhill J., and Vesley R. E., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London 1970, pp. 409–417.

J. van Heijenoort

Journal of Symbolic Logic | 1973

Review: R. Martin, G. Sabbagh, Encyclopedia Universalis

J. van Heijenoort

Journal of Symbolic Logic | 1971

Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus

J. van Heijenoort

Journal of Symbolic Logic | 1971

Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi

J. van Heijenoort

Journal of Symbolic Logic | 1971

Review: G. E. Mints, A. O. Slisenko, Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus

J. van Heijenoort

Journal of Symbolic Logic | 1970

Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem)

J. van Heijenoort

Journal of Symbolic Logic | 1970

Review: A. V. Idél'son, G. E. Minc, Matématičéskaá téoriá logičéskogo vyvoda

J. van Heijenoort

Journal of Symbolic Logic | 1970

Review: G. E. Minc, Téoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional'nymi simvolami; G. E. Minc, Leo F. Boron, Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbols

J. van Heijenoort

Explore More

Collaboration

Dive into the J. van Heijenoort's collaboration.

Explore More

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Hotspot

Dive into the research topics where J. van Heijenoort is active.

Publication

Featured researches published by J. van Heijenoort.

Review: G. E. Minc, Analog Teoremy Erbrana dla Konstruktivnogo Iscislenia Predikatov; G. E. Minc, R. N. Goss, An Analogue of Herbrand's Theorem for the Constructive Predicate Calculus

Review: Paul Bernays, A. Kino, J. Myhill, R. E. Vesley, On the Original Gentzen Consistency Proof for Number Theory

Review: R. Martin, G. Sabbagh, Encyclopedia Universalis

Review: G. E. Mints, A. O. Slisenko, Disjunctive Interpretation of the LJ Calculus

Review: G. E. Minc, L. Ebner, Skolem's Method of Elimination of Positive Quantifiers in Sequential Calculi

Review: G. E. Mints, A. O. Slisenko, Analog of Herbrand's Theorem for [non] Prenex Formulas of Constructive Predicate Calculus

Review: G. E. Minc, Priložénié. Téoréma Erbrana (Appendix. Herbrand's Theorem)

Review: A. V. Idél'son, G. E. Minc, Matématičéskaá téoriá logičéskogo vyvoda

Review: G. E. Minc, Téoréma Erbrana dlá isčisléniá prédikatov s ravénstvom i funkcional'nymi simvolami; G. E. Minc, Leo F. Boron, Herbrand's Theorem for the Predicate Calculus with Equality and Functional Symbols

Collaboration

Dive into the J. van Heijenoort's collaboration.