The Journal of Symbolic Logic: Volume 23 -

S. Jaśkowski. Undecidability of first order sentences in the theory of free groupoids. Fundamenta mathematicae, Bd. 43 (1956), S. 36–45.
W. Ackermann
Published online by Cambridge University Press:

12 March 2014, p. 445
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

José Ferrater Mora. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires1957, 73 pp.
John van Heijenoort
Published online by Cambridge University Press:

12 March 2014, pp. 350-351
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Andrzej Mostowski. Development and applications of the “projective” classification of sets of integers. Proceedings of the International Congress of Mathematicians 1954, Amsterdam September 2-September 9, Volume III, 1956, Erven P. Noordhoff N.V., Groningen, und North-Holland Publishing Co., Amsterdam, S. 280–288.
G. Hasenjaeger
Published online by Cambridge University Press:

12 March 2014, pp. 44-45
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Mostowski. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 (1957), pp. 12–36.
Dana Scott
Published online by Cambridge University Press:

12 March 2014, p. 217
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Klaus Härtig. Ein Spezialfall der Substitution als Grundbeziehung der elementaren Semiotik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 151–156.
H. Hermes
Published online by Cambridge University Press:

12 March 2014, pp. 217-218
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Philotheus Boehner. Introduction. Ockham, Philosophical writings, A selection edited and translated by Philotheus Boehner, O.F.M.†, Thomas Nelson and Sons, Edinburgh1957, pp. ix–lix.
Alonzo Church
Published online by Cambridge University Press:

12 March 2014, p. 351
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

John Myhill. Solution of a problem of Tarski. The journal of symbolic logic, vol. 21 (1956), pp. 49–51. - Andrzej Ehrenfeucht. Two theories with axioms built by means of pleonasms. The journal of symbolic logic, vol. 22 no. 1 (1957), pp. 36–38. - Hilary Putnam. Decidability and essential undecidability. The journal of symbolic logic, pp. 39–54.
Solomon Feferman
Published online by Cambridge University Press:

12 March 2014, pp. 445-447
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Mostowski. On a system of axioms which has no recursively enumerable arithmetic model. Fundamenta mathematicae, Bd. 40 (1953), S. 56–61. - A. Mostowski. A formula with no recursively enumerable model. Ebd., Bd. 42 (1955), S. 125–140.
G. Hasenjaeger
Published online by Cambridge University Press:

12 March 2014, p. 45
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

László Kalmár. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 (1952), pp. 1–27.
William W. Boone
Published online by Cambridge University Press:

12 March 2014, pp. 447-448
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Abraham Robinson. L'application de la logique formelle aux mathématiques. 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, Paris1954, and E. Nauwelaerts, Louvain 1954, pp. 51–63. - G. Kurepa, G. Kreisel, A. Robinson. Discussion. Applications scientifiques de la logique mathéatique, 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, Paris1954, and E. Nauwelaerts, Louvain 1954, p. 64.
Robert L. Vaught
Published online by Cambridge University Press:

12 March 2014, pp. 218-219
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Mostowski. On recursive models of formalised arithmetic. Bulletin de l'Académie Polonaise des Sciences, Classe III, vol. 5 (1957), pp. 705–710.
Solomon Feferman
Published online by Cambridge University Press:

12 March 2014, pp. 45-46
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Robert McNaughton. A metrical concept of happiness. English, with brief Spanish abstract. Philosophy and phenomenological research, vol. 14 no. 2 (1953), pp. 172–183.
Charles A. Baylis
Published online by Cambridge University Press:

12 March 2014, pp. 351-352
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

A. Grzegorczyk. Some proofs of undecidability of arithmetic. Fundamenta mathematicae, vol. 43 (1956), pp. 166–177.
W. W. Tait
Published online by Cambridge University Press:

12 March 2014, pp. 46-47
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

B. Dunham. The formalization of scientific languages. Part I. The work of Woodger and Hull. IBM journal of research and development, vol. 1 (1957), pp. 341–348.
George L. Alexander
Published online by Cambridge University Press:

12 March 2014, p. 352
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.
Roland Fraïssé
Published online by Cambridge University Press:

12 March 2014, pp. 448-449
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 (1955), p. 217–249.
Roland Fraïssé
Published online by Cambridge University Press:

12 March 2014, pp. 219-222
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

J. W. Addison and S. C. Kleene. A note on function quantification. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1002–1006.
Martin Davis
Published online by Cambridge University Press:

12 March 2014, pp. 47-48
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Richard Montague and Donald Kalish. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 50–64, 65–73.
Jaakko Hintikka
Published online by Cambridge University Press:

12 March 2014, pp. 449-450
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Carl G. Hempel. Fundamentals of concept formation in empirical science. International encyclopedia of unified science, vol. 2 no. 7. The University of Chicago Press, Chicago1952, iii + 93 pp.
Edward Poznański
Published online by Cambridge University Press:

12 March 2014, pp. 353-354
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

Paul R. Halmos. Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta mathematicae, vol. 43 (1956), pp. 256–325.
Roland Fraïssé
Published online by Cambridge University Press:

12 March 2014, pp. 222-223
- Article
- - Get access
    
    Check if you have access via personal or institutional login
    
    Log in Register
- Export citation

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Volume 23 - June 1958

Reviews

S. Jaśkowski. Undecidability of first order sentences in the theory of free groupoids. Fundamenta mathematicae, Bd. 43 (1956), S. 36–45.

José Ferrater Mora. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires1957, 73 pp.

A. Mostowski. On a generalization of quantifiers. Fundamenta mathematicae, vol. 44 (1957), pp. 12–36.

Klaus Härtig. Ein Spezialfall der Substitution als Grundbeziehung der elementaren Semiotik. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 3 (1957), pp. 151–156.

Philotheus Boehner. Introduction. Ockham, Philosophical writings, A selection edited and translated by Philotheus Boehner, O.F.M.†, Thomas Nelson and Sons, Edinburgh1957, pp. ix–lix.

A. Mostowski. On a system of axioms which has no recursively enumerable arithmetic model. Fundamenta mathematicae, Bd. 40 (1953), S. 56–61. - A. Mostowski. A formula with no recursively enumerable model. Ebd., Bd. 42 (1955), S. 125–140.

László Kalmár. Another proof of the Markov-Post theorem. English with Russian summary. Acta mathematica Academiae Scientiarum Hungaricae, vol. 3 (1952), pp. 1–27.

A. Mostowski. On recursive models of formalised arithmetic. Bulletin de l'Académie Polonaise des Sciences, Classe III, vol. 5 (1957), pp. 705–710.

Robert McNaughton. A metrical concept of happiness. English, with brief Spanish abstract. Philosophy and phenomenological research, vol. 14 no. 2 (1953), pp. 172–183.

A. Grzegorczyk. Some proofs of undecidability of arithmetic. Fundamenta mathematicae, vol. 43 (1956), pp. 166–177.

B. Dunham. The formalization of scientific languages. Part I. The work of Woodger and Hull. IBM journal of research and development, vol. 1 (1957), pp. 341–348.

Paul R. Halmos. Algebraic logic, III. Predicates, terms, and operations in polyadic algebras. Transactions of the American Mathematical Society, t. 83 (1956), pp. 430–470.

Paul R. Halmos. Algebraic logic, I. Monadic Boolean algebras. Compositio mathematica, vol. 12 (1955), p. 217–249.

J. W. Addison and S. C. Kleene. A note on function quantification. Proceedings of the American Mathematical Society, vol. 8 (1957), pp. 1002–1006.

Richard Montague and Donald Kalish. Remarks on descriptions and natural deduction. Archiv für mathematische Logik und Grundlagenforschung, vol. 3 (1957), pp. 50–64, 65–73.

Carl G. Hempel. Fundamentals of concept formation in empirical science. International encyclopedia of unified science, vol. 2 no. 7. The University of Chicago Press, Chicago1952, iii + 93 pp.

Paul R. Halmos. Algebraic logic II. Homogeneous locally finite polyadic Boolean algebras of infinite degree. Fundamenta mathematicae, vol. 43 (1956), pp. 256–325.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 23 - June 1958

Reviews