E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 15–25.

Hans Freudenthal

doi:10.2307/2272922

E. W. Beth. Remarks on intuitionistic logic. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 15–25.

Journal of Symbolic Logic ◽

10.2307/2272922 ◽

1974 ◽

Vol 39 (3) ◽

pp. 609-609

Author(s):

Hans Freudenthal

Keyword(s):

Intuitionistic Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Melvin Chris Fitting. Intuitionistic logic model theory and forcing. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1969, 191 pp.

Journal of Symbolic Logic ◽

10.2307/2271564 ◽

1971 ◽

Vol 36 (1) ◽

pp. 166-167

Author(s):

F. R. Drake

Keyword(s):

Intuitionistic Logic ◽

Model Theory ◽

Logic Model ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Saul A. Kripke. Semantical analysis of intuitionistic logic I. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Series in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 92–130.

Journal of Symbolic Logic ◽

10.2307/2270547 ◽

1970 ◽

Vol 35 (2) ◽

pp. 330-332 ◽

Cited By ~ 3

Author(s):

G. Kreisel

Keyword(s):

Intuitionistic Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

Semantical Analysis ◽

North Holland Publishing

Download Full-text

Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 24–30.

Journal of Symbolic Logic ◽

10.2307/2270886 ◽

1970 ◽

Vol 34 (4) ◽

pp. 657-657 ◽

Cited By ~ 2

Author(s):

Stephen A. Cook

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Computational Difficulty

Download Full-text

Jens Erik Fenstad. The axiom of determinateness. Proceedings of the Second Scandinavian Logic Symposium, edited by J. E. Fenstad, Studies in logic and the foundations of mathematics, vol. 63, North-Holland Publishing Company, Amsterdam and London 1971, pp. 41–61.

Journal of Symbolic Logic ◽

10.2307/2272655 ◽

1974 ◽

Vol 39 (2) ◽

pp. 331-332

Author(s):

A. S. Kechris

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

H. J. Keisler. Models with orderings. Logic, methodology and philosophy of science III, Proceedings of the Third International Congress for Logic, Methodology and Philosophy of Science, Amsterdam 1967, edited by B. van Rootselaar and J. F. Staal, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1968, pp. 35–62.

Journal of Symbolic Logic ◽

10.2307/2272661 ◽

1974 ◽

Vol 39 (2) ◽

pp. 334-335

Author(s):

H.-D. Ebbinghaus

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

The Third ◽

North Holland Publishing

Download Full-text

N. E. Kobrinskii and B. A. Trakhtenbrot. Introduction to the theory of finite automata. English translation of XXIX 97, edited by J. C. Shepherdson. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1965, x + 337 pp.

Journal of Symbolic Logic ◽

10.2307/2270335 ◽

1968 ◽

Vol 33 (3) ◽

pp. 466-466

Author(s):

Robert McNaughton

Keyword(s):

English Translation ◽

Finite Automata ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

Haskell B. Curry. Basic verifiability in the combinatory theory of restricted generality. Essays on the foundations of mathematics, dedicated to A. A. Fraenkel on his seventieth anniversary, edited by Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin, and A. Robinson for The Hebrew University of Jerusalem, Magnes Press, Jerusalem1961, and North-Holland Publishing Company, Amsterdam 1962, pp. 165–189.

Journal of Symbolic Logic ◽

10.2307/2270734 ◽

1970 ◽

Vol 35 (3) ◽

pp. 469-470

Author(s):

Richard J. Orgass

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing ◽

Hebrew University

Download Full-text

Michael O. Rabin. A simple method for undecidability proofs and some applications. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 38–68.

Journal of Symbolic Logic ◽

10.2307/2271529 ◽

1971 ◽

Vol 36 (1) ◽

pp. 150-150

Author(s):

William Hanf

Keyword(s):

Philosophy Of Science ◽

Publishing Company ◽

International Congress ◽

Foundations Of Mathematics ◽

Simple Method ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text

A. Tarski. Equational logic and equational theories of algebras. Contributions to mathematical logic, Proceedings of the Logic Colloquium, Hannover 1966, edited by H. Arnold Schmidt, K. Schütte, and H.-J. Thiele, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1968, pp. 275–288.

Journal of Symbolic Logic ◽

10.2307/2271553 ◽

1971 ◽

Vol 36 (1) ◽

pp. 161-162

Author(s):

Ralph Seifert

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Equational Logic ◽

North Holland Publishing Company ◽

Equational Theories ◽

North Holland Publishing

Download Full-text

Daniel Lacombe. Quelques procédés de définition en topologie récursive. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by A. Heyting, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1959, pp. 129–158.

Journal of Symbolic Logic ◽

10.2307/2270669 ◽

1966 ◽

Vol 31 (1) ◽

pp. 133-134

Author(s):

Ylannis N. Moschovakis

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text