The Journal of Symbolic Logic: Volume 20 - Issue 2

Leon Henkin. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410–427.
Andrzej Mostowski
Published online by Cambridge University Press:

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

W. Peremans. Some theorems on free algebras and on direct products of algebras. Simon Stevin, vol. 29 (1952), pp. 51–59.
A. Robinson
Published online by Cambridge University Press:

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

E. W. Beth. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 27–32. - Paul Bernays, E. W. Beth, Abraham Robinson. Discussion. Ibid., pp. 32–33.
Leon Henkin
Published online by Cambridge University Press:

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

Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 73–74.
Leon Henkin
Published online by Cambridge University Press:

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

A. Châtelet. Allocution d'ouverture. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. XIII. - L. E. J. Brouwer. Discours final. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 75. - Abraham Robinson. On axiomatic systems which possess finite models. Methodos, vol. 3 (1951), pp. 140–149.
Leon Henkin
Published online by Cambridge University Press:

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

Heinrich Guggenheimer. Ueber ein bemerkenswertes logisches System aus der Antike. Methodos, vol. 3 (1951), pp. 150–164.
Philotheus Boehner
Published online by Cambridge University Press:

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

Arthur Pap. Reduction-sentences and open concepts. Methodos, vol. 5 (1953), pp. 3–28. - A. Caracciolo and V. Somenzi. Discussione. English. Methodos, vol. 5 (1953), p. 29. - A. Pap. Reply. Methodos, vol. 5 (1953), pp. 29–30.
Carl G. Hempel
Published online by Cambridge University Press:

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

Hans Reichenbach. On observing and perceiving. Philosophical studies, vol. 2 (1951), pp. 92–93.
J. F. Thomson
Published online by Cambridge University Press:

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

Rudolf Carnap. Meaning postulates. Philosophical studies, vol. 3 (1952), pp. 65–73.
Abner Shimony
Published online by Cambridge University Press:

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

John G. Kemeny. A contribution to inductive logic. Philosophy and phenomenological research, vol. 13 no. 3 (1953), pp. 371–374.
Abner Shimony
Published online by Cambridge University Press:

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

John G. Kemeny and Paul Oppenheim. Degree of factual support. Philosophy of science, vol. 19 (1952), pp. 307–324.
Abner Shimony
Published online by Cambridge University Press:

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

Victor Kraft. Der Positivismus. Studium generale, vol. 7 (1954), pp. 73–79.
Carl G. Hempel
Published online by Cambridge University Press:

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

Wolfgang Gröbner. Über die gegenwärtige Krise unserer Kultur. Studium generale, vol. 7 (1954), pp. 122–130.
Carl G. Hempel
Published online by Cambridge University Press:

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

J. C. C. McKinsey and Patrick Suppes. Philosophy and the axiomatic foundations of physics. Actes du XIème Congrès International de Philosophie, Volume VI, Philosophie et méthodologie des sciences de la nature, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 49–54.
A. R. Turquette
Published online by Cambridge University Press:

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

P. T. Geach. On insolubilia. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 71–72.
Alonzo Church
Published online by Cambridge University Press:

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

Francisco Miró Quesada. Esbozo de una teoría generulizada de las propriedades relacionales. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1172–1177.
Robert Feys
Published online by Cambridge University Press:

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

Horacio Schindler. Filosofia y lógica simbólica. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1233–1236.
Robert Feys
Published online by Cambridge University Press:

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

Francesco Barone. Preludi del positivismo logico. Filosofia (Turin) vol. 1 (1950), pp. 373–398.
Robert Feys
Published online by Cambridge University Press:

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

Yehoshua Bar-Hillel. The present state of research on mechanical translation. American documentation (Cambridge, Mass.), vol. 2 (1951), pp. 229–237. - Yehoshua Bar-Hillel. Some linguistic problems connected with machine translation. Philosophy of science, vol. 20 (1953), pp. 217–225. - Yehoshua Bar-Hillel. A quasi-arithmetical notation for syntactic description. Language, vol. 29 (1953), pp. 47–58. - Yehoshua Bar-Hillel. Can translation be mechanized?American scientist, vol. 42 (1954), pp. 248–260.
Abraham Kaplan
Published online by Cambridge University Press:

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

Edmund C. Berkeley. Circuit algebra—Introduction. Photo-offset from typewritten manuscript. Edmund C. Berkeley and Associates, New York1952, i + 34 pp.
Arthur W. Burks
Published online by Cambridge University Press:

12 March 2014, pp. 194-195
- 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 20 - Issue 2 - June 1955

Reviews

Leon Henkin. Some interconnections between modern algebra and mathematical logic. Transactions of the American Mathematical Society, vol. 74 (1953), pp. 410–427.

W. Peremans. Some theorems on free algebras and on direct products of algebras. Simon Stevin, vol. 29 (1952), pp. 51–59.

E. W. Beth. Sur le parallélisme logico-mathématique. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 27–32. - Paul Bernays, E. W. Beth, Abraham Robinson. Discussion. Ibid., pp. 32–33.

Paul Bernays, E. W. Beth, L. E. J. Brouwer, Jean-Louis Destouches, R. Feys. Discussion générale. Les méthodes formelles en axiomatique Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 73–74.

Heinrich Guggenheimer. Ueber ein bemerkenswertes logisches System aus der Antike. Methodos, vol. 3 (1951), pp. 150–164.

Arthur Pap. Reduction-sentences and open concepts. Methodos, vol. 5 (1953), pp. 3–28. - A. Caracciolo and V. Somenzi. Discussione. English. Methodos, vol. 5 (1953), p. 29. - A. Pap. Reply. Methodos, vol. 5 (1953), pp. 29–30.

Hans Reichenbach. On observing and perceiving. Philosophical studies, vol. 2 (1951), pp. 92–93.

Rudolf Carnap. Meaning postulates. Philosophical studies, vol. 3 (1952), pp. 65–73.

John G. Kemeny. A contribution to inductive logic. Philosophy and phenomenological research, vol. 13 no. 3 (1953), pp. 371–374.

John G. Kemeny and Paul Oppenheim. Degree of factual support. Philosophy of science, vol. 19 (1952), pp. 307–324.

Victor Kraft. Der Positivismus. Studium generale, vol. 7 (1954), pp. 73–79.

Wolfgang Gröbner. Über die gegenwärtige Krise unserer Kultur. Studium generale, vol. 7 (1954), pp. 122–130.

P. T. Geach. On insolubilia. Analysis (Oxford), vol. 15 no. 3 (1955), pp. 71–72.

Francisco Miró Quesada. Esbozo de una teoría generulizada de las propriedades relacionales. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1172–1177.

Horacio Schindler. Filosofia y lógica simbólica. Actas del Primer Congreso Nacional de Filosofia, Mendoza, Argentina, Marzo 30-Abril 9, 1949, Mendoza and Buenos Aires1950, pp. 1233–1236.

Francesco Barone. Preludi del positivismo logico. Filosofia (Turin) vol. 1 (1950), pp. 373–398.

Edmund C. Berkeley. Circuit algebra—Introduction. Photo-offset from typewritten manuscript. Edmund C. Berkeley and Associates, New York1952, i + 34 pp.

The Journal of Symbolic Logic

Refine listing

Actions for selected content:

Save Search

Volume 20 - Issue 2 - June 1955

Reviews