13629 results in The Journal of Symbolic Logic
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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 353-354
- Print publication:
- September 1958
-
- Article
- Export citation
J. Łoś. On the categoricity in power of elementary deductive systems and some related problems. Colloquium mathematicum, vol. 3 no. 1 (1954), pp. 58–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 360-361
- Print publication:
- September 1958
-
- Article
- Export citation
M. Touchais. Les applications techniques de la logique. With a preface by G. Lehmann. Dunod, Paris, 1956 XX + 82 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 365-366
- Print publication:
- September 1958
-
- Article
- 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.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 351
- Print publication:
- September 1958
-
- Article
- Export citation
Kurt Bing. On the axioms of order and succession. The journal of symbolic logic, vol. 22 (1957), pp. 141–144.
-
- 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
Alan Ross Anderson. Independent axiom schemata for von Wright's M. The journal of symbolic logic, vol. 22 no. 3 (1957), pp. 241–244.
-
- 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
James T. Culbertson. Mathematics and logic for digital devices. D. Van Nostrand Company, Inc., Princeton, N. J., New York, Toronto, and London1958, x + 224 pp.
-
- 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
Robert Feys. Une théorie formalisée démontrée sans symboles. Les études philosophiques, n.s. vol. 11 (1956), pp. 3–14.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 344
- Print publication:
- September 1958
-
- Article
- Export citation
E. J. Lemmon. New foundations for Lewis modal systems. The journal of symbolic logic, vol. 22 no. 2 (1957), pp. 176–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 346-347
- Print publication:
- September 1958
-
- Article
- Export citation
Rózsa Péter. Rekursive Funktionen. Second, enlarged edition. Verlag der Ungarischen Akademie der Wissenschaften, Budapest1957, 278 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 362-363
- Print publication:
- September 1958
-
- Article
- Export citation
Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 309-316
- Print publication:
- September 1958
-
- Article
- Export citation
On Słupecki T-functions
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 267-270
- Print publication:
- September 1958
-
- Article
- Export citation
Evert Willem Beth. La sémantique et sa portée philosophique. Semantica – Archivio di jilosofia, 1955 no. 3, Fratelli Bocca Editori, Rome 1955, pp. 41–62.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 357-358
- Print publication:
- September 1958
-
- Article
- Export citation
Montgomery PhisterJr., Logical design of digital computers. John Wiley & Sons, Inc., New York1958, and Chapman & Hall, Limited, London 1958, xvi + 408 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. 363-365
- Print publication:
- September 1958
-
- Article
- Export citation
P. Jordan. Zur Axiomatik der Verknüpfungsbereiche. Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg, vol. 16 (1949), pp. 54–70.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 361
- Print publication:
- September 1958
-
- Article
- Export citation
JSL volume 23 issue 3 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- September 1958
-
- Article
-
- You have access
- Export citation
Karl R. Popper. Two autonomous axiom systems for the calculus of probabilities. The British journal for the philosophy of science, vol. 6 (1955–1956), pp. 51–57. - K. R. Popper. Errata. The British journal for the philosophy of science, vol. 6 (1955–1956), p. 176. - K. R. Popper. Corrigendum. The British journal for the philosophy of science, vol. 6 (1955–1956), p. 351.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 349
- Print publication:
- September 1958
-
- Article
- Export citation
Jan Berg. A note on dispositional concepts. Philosophy and phenomenological research, vol. 16 no. 1 (1956), pp. 121–123. - Jan Berg. A note on reduction sentences. Theoria (Lund), vol. 24 (1958), pp. 1–8.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 357
- Print publication:
- September 1958
-
- Article
- Export citation
Ruth C. Barcan. The identity of individuals in a strict functional calculus of second order. The journal of symbolic logic, vol. 12 (1947), pp. 12–15.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 342
- Print publication:
- September 1958
-
- Article
- Export citation
Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 3 / September 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 368
- Print publication:
- September 1958
-
- Article
- Export citation