13629 results in The Journal of Symbolic Logic
Finite Axiomatizability using additional predicates
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-308
- Print publication:
- September 1958
-
- Article
- Export citation
Ingebrigt Johansson. Sur le concept de “le” (ou de “ce qui”) dans le calcul affirmatif et dans les calculs intuitionnistes. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 65–72. - R. Feys, Ingebrigt Johansson. Discussion. Les méthodes formelles en axiomatique, Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, p. 72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 346
- Print publication:
- September 1958
-
- Article
- Export citation
Measure-theoretic construction of incomparable hyperdegrees
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 280-288
- Print publication:
- September 1958
-
- Article
- Export citation
Logical reflection and formalism
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-249
- Print publication:
- September 1958
-
- Article
- Export citation
Epimenides the Cretan
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 261-266
- Print publication:
- September 1958
-
- Article
- Export citation
Thomas Storer. An analysis of logical positivism. Methodos, vol. 3 (1951), pp. 245–272. - Ferruccio Rossi-Landi. Discussion. Methodos, vol. 3 (1951), pp. 273–274.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 356-357
- Print publication:
- September 1958
-
- Article
- Export citation
Yasuo Komamiya. Theory of computing relay-networks. Proceedings of the First Japan National Congress for Applied Mechanics 1951, Japan National Committee for Theoretical and Applied Mechanics, Science Council of Japan, Tokyo1952, pp. 527–532.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 366
- Print publication:
- September 1958
-
- Article
- Export citation
JSL volume 23 issue 3 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-f2
- Print publication:
- September 1958
-
- Article
-
- You have access
- Export citation
Note on Carnap's relational asymptotic relative frequencies1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 257-260
- Print publication:
- September 1958
-
- Article
- Export citation
José Ferrater Mora. Qué es la lógica. Colección Esquemas. Editorial Columba, Buenos Aires1957, 73 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 350-351
- Print publication:
- September 1958
-
- Article
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 352
- Print publication:
- September 1958
-
- Article
- Export citation
A. Heyting. La conception intuitionniste de la logique. Les études philosophiques, n.s. vol. 11 (1956), pp. 226–233.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 344-345
- Print publication:
- September 1958
-
- Article
- Export citation
M. A. Gavrilov. Métody sintéza réléjno-kontaktnyh shém (Methods of synthesis of relay-contact networks). Eléktričéstvo, no. 2 (1946), pp. 54–59.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 367
- Print publication:
- September 1958
-
- Article
- Export citation
A problem of Rosser and Turquette1
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 271-279
- Print publication:
- September 1958
-
- Article
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 351-352
- Print publication:
- September 1958
-
- Article
- Export citation
Hans Rohleder. Der dreiwertige Aussagenkalkül der theoretischen Logik und seine Anwendung zur Beschreibung von Schaltungen, die aus Elementen mit zwei stabilen Zustanden besiehen. Zeitschrift für angewandte Mathematik und Mechanik, vol. 34 (1954), pp. 308–311.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 366-367
- Print publication:
- September 1958
-
- Article
- Export citation
A. N. Prior. The necessary and the possible.The listener, vol. 57 (1957), pp. 627–628.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 347-348
- Print publication:
- September 1958
-
- Article
- Export citation
A formalization of inductive logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 251-256
- Print publication:
- September 1958
-
- Article
- Export citation
Carl G. Hempel. A logical appraisal of operationism. The scientific monthly, vol. 79 (1954), pp. 215–220.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 354-356
- Print publication:
- September 1958
-
- Article
- Export citation
Alonzo Church. Introduction to mathematical logic. Volume I. Second printing. Princeton University Press, Princeton1958, x + 378 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 362
- Print publication:
- September 1958
-
- Article
- Export citation