A. Heyting. Some remarks on intuitionism. 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. 69–71.

O. Chateaubriand

doi:10.2307/2272475

A. Heyting. Some remarks on intuitionism. 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. 69–71.

Journal of Symbolic Logic ◽

10.2307/2272475 ◽

1971 ◽

Vol 36 (4) ◽

pp. 673-674

Author(s):

O. Chateaubriand

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

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

Saul A. Kripke. Semantical analysis of modal logic II. Non-normal modal propositional calculi. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 206–220. - R. Routley and H. Montgomery. The inadequacy of Kripke's semantical analysis of D2 and D3. The journal of symbolic logic, vol. 33 (1968), p. 568.

Journal of Symbolic Logic ◽

10.1017/s0022481200092434 ◽

1970 ◽

Vol 35 (1) ◽

pp. 135-135

Author(s):

David Makinson

Keyword(s):

Modal Logic ◽

International Symposium ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Symbolic Logic ◽

North Holland Publishing Company ◽

Alfred Tarski ◽

Semantical Analysis ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

W. Ackermann. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, VIII + 114 pp.

Journal of Symbolic Logic ◽

10.2307/2964059 ◽

1957 ◽

Vol 22 (1) ◽

pp. 68-72 ◽

Cited By ~ 2

Author(s):

Paul Bernays

Keyword(s):

Decision Problem ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

North Holland Publishing

Download Full-text