Kurt Schütte. Predicative well-orderings. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 45–60.

Charles Parsons

doi:10.2307/2271718

Kurt Schütte. Predicative well-orderings. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 280–303. - Kurt Schütte. Eine Grenze fúr die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik. Archiv für mathematische Logik und Grundlagenforschung, vol. 7 (1965), pp. 45–60.

Journal of Symbolic Logic ◽

10.2307/2271718 ◽

1967 ◽

Vol 32 (2) ◽

pp. 284-285

Author(s):

Charles Parsons

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Ronald Harrop. A relativization procedure for propositional calculi, with an application to a generalized form of Post's theorem. Proceedings of the London Mathematical Society, vol. 14 (1964), pp. 595–617. - Ronald Harrop. Some generalizations and applications of a relativization procedure for propositional calculi. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 12–41.

Journal of Symbolic Logic ◽

10.2307/2271284 ◽

1967 ◽

Vol 32 (1) ◽

pp. 125-126

Author(s):

W. E. Singletary

Keyword(s):

London Mathematical Society ◽

Publishing Company ◽

Mathematical Society ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing ◽

Propositional Calculi

Download Full-text

A. N. Prior. Existence in Leśniewski and in Russell. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 149–155.

Journal of Symbolic Logic ◽

10.2307/2272185 ◽

1975 ◽

Vol 40 (3) ◽

pp. 458-458

Author(s):

C. Lejewski

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Jaakko Hintikka. Distributive normal forms in first-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 48–91. - Jaakko Hintikka. Distributive normal forms and deductive interpolation. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 (1964), pp. 185–191.

Journal of Symbolic Logic ◽

10.2307/2269830 ◽

1966 ◽

Vol 31 (2) ◽

pp. 267-268

Author(s):

F. C. Oglesby

Keyword(s):

Normal Forms ◽

Order Logic ◽

Publishing Company ◽

First Order Logic ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

First Order ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

W. W. Tait. Infinitely long terms of transfinite type. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 176–185.

Journal of Symbolic Logic ◽

10.2307/2271836 ◽

1975 ◽

Vol 40 (4) ◽

pp. 623-624

Author(s):

E. G. K. LóPez-Escobar

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

M. J. Cresswell. The logic of interrogatives. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 8–11.

Journal of Symbolic Logic ◽

10.2307/2269742 ◽

1966 ◽

Vol 31 (4) ◽

pp. 668-668

Author(s):

Gerold Stahl

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Recursive Functions ◽

Formal Systems ◽

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

N. Chomsky and M. P. Schützenberger. The algebraic theory of context-free languages. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 118–161.

Journal of Symbolic Logic ◽

10.2307/2270782 ◽

1967 ◽

Vol 32 (3) ◽

pp. 388-389

Author(s):

G. H. Matthews

Keyword(s):

Computer Programming ◽

Algebraic Theory ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Context Free

Download Full-text

Stig Kanger. A simplified proof method for elementary logic. Computer programming and formal systems, edited by P. Braffort and D. Hirschberg, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1963, pp. 87–94.

Journal of Symbolic Logic ◽

10.2307/2271271 ◽

1967 ◽

Vol 32 (1) ◽

pp. 119-119

Author(s):

J. A. Robinson

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing

Download Full-text

Richard Montague. Set theory and higher-order logic. Formal systems and recursive functions, Proceedings of the Eighth Logic Colloquium, Oxford, July 1963, edited by J. N. Crossley and M. A. E. Dummett, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 131–148.

Journal of Symbolic Logic ◽

10.2307/2272187 ◽

1975 ◽

Vol 40 (3) ◽

pp. 459-459

Author(s):

Richard Mansfield

Keyword(s):

Set Theory ◽

Higher Order ◽

Order Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Higher Order Logic ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Richard Montague

Download Full-text

G. Kreisel. On the concepts of completeness and interpretation of formal systems. Fundamenta mathematicae, vol. 39 (for 1952, pub. 1953), pp. 103–127. - G. Kreisel. Applications of mathematical logic to various branches of mathematics. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, pp. 37–49. - A. Robinson and G. Kreisel. Discussion. Applications scientifiques de la logique mathématique, Actes du 2e Colloque International de Logique Mathématique, Paris — 25–30 août 1952, Institut Henri Poincaré, Collection de logique mathématique, ser. A no. 5, lithographed (“dactyl-spécial”), Gauthier-Villars, Paris 1954, and E. Nauwelaerts, Louvain 1954, p. 50. - G. Kreisel. Models, translations, and interpretations. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 26–50.

Journal of Symbolic Logic ◽

10.2307/2963817 ◽

1959 ◽

Vol 24 (3) ◽

pp. 236-238

Author(s):

William Craig

Keyword(s):

Mathematical Logic ◽

Publishing Company ◽

Foundations Of Mathematics ◽

Henri Poincaré ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Systems Studies ◽

Mathematical Interpretation

Download Full-text