A. Robinson. A basis for the mechanization of the theory of equations. 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. 95–99. - A. Robinson. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 (1960), pp. 47–70.

Martin Davis

doi:10.2307/2270081

A. Robinson. A basis for the mechanization of the theory of equations. 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. 95–99. - A. Robinson. On the mechanization of the theory of equations. Bulletin of the Research Council of Israel, vol. 9F no. 2 (1960), pp. 47–70.

Journal of Symbolic Logic ◽

10.2307/2270081 ◽

1968 ◽

Vol 33 (1) ◽

pp. 118-118

Author(s):

Martin Davis

Keyword(s):

Research Council ◽

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

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

Hao Wang. Mechanical mathematics and inferential analysis. 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. 1–20.

Journal of Symbolic Logic ◽

10.2307/2271273 ◽

1967 ◽

Vol 32 (1) ◽

pp. 120-120

Author(s):

David C. Cooper

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Analysis Computer ◽

Inferential Analysis

Download Full-text

E. W. Beth. Observations concerning computing, deduction, and heuristics. 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. 21–32.

Journal of Symbolic Logic ◽

10.2307/2270080 ◽

1968 ◽

Vol 33 (1) ◽

pp. 118-118

Author(s):

Martin Davis

Keyword(s):

Computer Programming ◽

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

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

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

Th. Skolem. Peano's axioms and models of arithmetic. Mathematical Interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 1–14.

Journal of Symbolic Logic ◽

10.2307/2963623 ◽

1957 ◽

Vol 22 (3) ◽

pp. 306-306

Author(s):

Solomon Feferman

Keyword(s):

Publishing Company ◽

Foundations Of Mathematics ◽

North Holland Publishing Company ◽

Formal Systems ◽

North Holland Publishing ◽

Models Of Arithmetic ◽

Systems Studies ◽

Mathematical Interpretation

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