ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
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
Related Documents
Cited By
References
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
L. Henkin. The representation theorem for cylindrical algebras. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 85–97.
Journal of Symbolic Logic
◽
10.2307/2964194
◽
1957
◽
Vol 22
(2)
◽
pp. 215-215
Author(s):
Paul R. Halmos
Keyword(s):
Representation Theorem
◽
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
Formal Systems
◽
North Holland Publishing
◽
Systems Studies
◽
Mathematical Interpretation
Download Full-text
Jerzy Łoś. Quelques remarques, théorèmes et problèmes sur les classes définissables d'algèbres. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, S. 98–113.
Journal of Symbolic Logic
◽
10.2307/2964232
◽
1960
◽
Vol 25
(2)
◽
pp. 168-168
Author(s):
Kurt Schütte
Keyword(s):
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
Formal Systems
◽
North Holland Publishing
◽
Systems Studies
◽
Mathematical Interpretation
Download Full-text
Hao Wang. On denumerable bases of formal systems. Mathematical interpretation of formal systems. Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 57–84.
Journal of Symbolic Logic
◽
10.2307/2963599
◽
1957
◽
Vol 22
(3)
◽
pp. 292-293
Author(s):
Clifford Spector
Keyword(s):
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
Formal Systems
◽
North Holland Publishing
◽
Systems Studies
◽
Mathematical Interpretation
Download Full-text
G. Hasenjaeger. On definability and derivability. Mathematical interpretation of formal systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1955, pp. 15–25.
Journal of Symbolic Logic
◽
10.2307/2964762
◽
1959
◽
Vol 24
(2)
◽
pp. 171-172
Author(s):
Thomas Frayne
Keyword(s):
Publishing Company
◽
Foundations Of Mathematics
◽
North Holland Publishing Company
◽
Formal Systems
◽
North Holland Publishing
◽
Systems Studies
◽
Mathematical Interpretation
Download Full-text
Abraham Robinson. Ordered structures and related concepts. Mathematical interpretation of formai systems, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam, 1955, pp. 51–56.
Journal of Symbolic Logic
◽
10.2307/2964236
◽
1960
◽
Vol 25
(2)
◽
pp. 170-170
Author(s):
W. Peremans
Keyword(s):
Publishing Company
◽
Foundations Of Mathematics
◽
Ordered Structures
◽
North Holland Publishing Company
◽
North Holland Publishing
◽
Systems Studies
◽
Mathematical Interpretation
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
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
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close