13629 results in The Journal of Symbolic Logic
W. V. Quine. Three grades of modal involvement. Actes du XIème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain 1953, pp. 65–81.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 168-169
- Print publication:
- June 1955
-
- Article
- Export citation
Ruth Lydia Saw. Leibniz. With a foreword by A. J. Ayer. Pelican philosophy series. Penguin Books, Harmondsworth, Baltimore, etc., 1954, 240 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 170-171
- Print publication:
- June 1955
-
- Article
- Export citation
Arthur W. Burks. Symposium: Justification in science. Academic freedom, logic, and religion (American Philosophical Association, Eastern Division, Volume 2), University of Pennsylvania Press, Philadelphia1953, pp. 109–125.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1955
-
- Article
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 187-188
- Print publication:
- June 1955
-
- Article
- Export citation
A proof procedure for quantification theory
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 141-149
- Print publication:
- June 1955
-
- Article
- Export citation
Leon Henkin. Banishing the rule of substitution for functional variables. The journal of symbolic logic, vol. 18 (1953), pp. 201–208.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-180
- Print publication:
- June 1955
-
- Article
- Export citation
Miloš Neubauer. Sur quelques simplifications de la théorie axiomatique d'ensembles de von Neumann (O nékterých zjednodušeních von Neumannovy axiomatické theorie množin). French with brief Czechic résumé. Časopis pro pěstování matematiky a fysiky, vol. 74 (1950), pp. 142–144.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 81
- Print publication:
- March 1955
-
- Article
- Export citation
Arata Ishimoto. A set of axioms of the modal proposilional calculus equivalent to S3. The science of thought (Tokyo), no. 1 (1954), pp. 1–11.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 169
- Print publication:
- June 1955
-
- Article
- Export citation
Trevor Evans. An embedding theorem for semigroups with cancellation. American journal of mathematics, vol. 76 (1954), pp. 399–413.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 74-75
- Print publication:
- March 1955
-
- Article
- Export citation
Arthur W. Burks, Don W. Warren, and Jesse B. Wrights. An analysis of a logical machine using parenthesis-free notation. Mathematical tables and other aids to computation, vol. 8 (1954), pp. 53–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 70-71
- Print publication:
- March 1955
-
- Article
- Export citation
Wolfgang Gröbner. Über die gegenwärtige Krise unserer Kultur. Studium generale, vol. 7 (1954), pp. 122–130.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 191
- Print publication:
- June 1955
-
- Article
- Export citation
A. J. Ayer. Truth. Revue Internationale de philosophic, vol. 7 (1953), pp. 183–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 58
- Print publication:
- March 1955
-
- Article
- Export citation
JSL volume 20 issue 1 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f5
- Print publication:
- March 1955
-
- Article
-
- You have access
- Export citation
G. F. C. Griss. Logic of negationless intnitionistic mathematics. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 54 (1951), pp. 41–49; also Indagationes mathematicae, vol.13 (1951), pp. 41–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 67-68
- Print publication:
- March 1955
-
- Article
- Export citation
Solution of a problem of Leon Henkin1
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 115-118
- Print publication:
- June 1955
-
- Article
- Export citation
A. J. Ayer. Le statut logique des individus. Revue Internationale de philosophie, vol. 7 (1953), pp. 272–273. - Peter A. Carmichael. Professor Ayer on individuals. Analysis (Oxford), vol. 14 no. 2 (1953), pp. 37–42.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 61
- Print publication:
- March 1955
-
- Article
- Export citation
Edmund C. Berkeley. Circuit algebra—Introduction. Photo-offset from typewritten manuscript. Edmund C. Berkeley and Associates, New York1952, i + 34 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 194-195
- Print publication:
- June 1955
-
- Article
- Export citation
A. H. Basson and D. J. O'Connor. Introduction to symbolic logic. University Tutorial Press Ltd., London1953, viii + 169 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 84-86
- Print publication:
- March 1955
-
- Article
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 192
- Print publication:
- June 1955
-
- Article
- Export citation
Richard Taylor. Ayer's analysis of negation. Philosophical studies, vol. 4 (1953), pp. 49–55.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 59
- Print publication:
- March 1955
-
- Article
- Export citation