13629 results in The Journal of Symbolic Logic
Languages in which self reference is possible1
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 55-67
- Print publication:
- March 1957
-
- Article
- Export citation
A. J. Baker. Incompatible hypotheticals and the barber shop paradox. Mind, n.s. vol. 64 (1955) pp. 384–387.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 392-393
- Print publication:
- December 1956
-
- Article
- Export citation
Zyoiti Suetuna. Sûgaku no kiso (Foundations of mathematics). Iwanami Shoten, Tokyo1952, 3 + 130 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- December 1956
-
- Article
- Export citation
Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications I. Journal of the Faculty of Science, Hokkaido University, series I, Bd. 11 Heft 3 (1950), S. 113–125. - Yoemon Sampei. On the orthogonal expansion of the Boolean polynomial and its applications II. Commentarii mathematici Universitatis Sancti Pauli, Bd. 1 Heft 2 (1953), S. 51–57.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 401-402
- Print publication:
- December 1956
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 415-426
- Print publication:
- December 1956
-
- Article
- Export citation
Alan Rose. A Normalisation of Post's m-valued propositional calculus. Mathematische Zeitschrift, vol. 56 no. 1 (1952), pp. 94–104.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 400-401
- Print publication:
- December 1956
-
- Article
- Export citation
V. I. Šéstakov. Algébra dvuhpolûsnyh shém, postroénnyh isklûčitél'no iz dvuhpolúsnikov (Algébra A-shém) (An algebra of two-terminal circuits constructed exclusively of two-terminal components (Algebra of A-circuits)). Žurnal téhničéskoj fiziki, vol. 11 no. 6 (1941), pp. 532–549. - V. I. Šéstakov. Algébra dvuhpolûsnyh shém, postroénnyh isklûčitél'no iz dvuhpolúsnikov (Algébra A-shém) (An algebra of two-terminal circuits constructed exclusively of two-terminal components (Algebra of A-circuits)). Avtomatika i téléméhanika, 1941, pp. 15–24.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 399
- Print publication:
- December 1956
-
- Article
- Export citation
G. Kreisel. Note on arithmetic models for consistent formulae of the predicate calculus II. Actes du Xlème Congrès International de Philosophie, Volume XIV, Volume complémentaire et communications du Colloque de Logique, North-Holland Publishing Company, Amsterdam1953, und Éditions E. Nauwelaerts, Leuven 1953, S. 39–49.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 403-404
- Print publication:
- December 1956
-
- Article
- Export citation
E. W. Beth. Le paradoxe du “sorite” d'Eubulide de Mégare. La vie, la pensée, Actes du Congrès des Sociétés de Philosophie de Langue Française (Grenoble, 12-16 septembre 1954), Presses Universitaires de France, Paris1954, pp. 237–241.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 381
- Print publication:
- December 1956
-
- Article
- Export citation
Margaret MacDonald. The philosopher's use of analogy. Proceedings of the Aristotelian Society, vol. 38 (1937–1938), pp. 291–312. Reprinted in Essays on logic and language, and with an introduction by Antony Flew, Basil Blackwell, Oxford 1951, and Philosophical Library, New York 1951, pp. 80–100. - Martin Shearn. Russell's analysis of existence. Analysis (Oxford), vol. 11 no. 6 (1951), pp. 124–131. - Alan Donagan. Recent criticisms of Russell's analysis of existence. Analysis, vol. 12 no. 6 (1952), pp. 132–137.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 382-383
- Print publication:
- December 1956
-
- Article
- Export citation
N. L. Wilson. Existence assumptions and contingent meaning fulness. Mind, n. s. vol. 65 (1956), pp. 336–345.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 383-384
- Print publication:
- December 1956
-
- Article
- Export citation
Haskell B. Curry. La théorie des combinateurs. Università di Roma, Istituto Nazionale di Alta Matematica, Rendiconti di matematica e delle sue applicazioni, ser. 5 vol. 10 (1951), pp. 347–359. - Haskell B. Curry. La logique combinatoire et les antinomies. Ibid., pp. 360–370.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 378
- Print publication:
- December 1956
-
- Article
- Export citation
Roman Ingarden. O sądzic ivarunkowym (Du jugement hypothétique). Kwartalnik filozoficzny, vol. 18 (1949), pp. 263–308. French résumé, Roman Ingarden. O sądzic ivarunkowym (Du jugement hypothétique). Kwartalnik filozoficzny, vol. 18 (1949), pp. 324–325.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 390-392
- Print publication:
- December 1956
-
- Article
- Export citation
Kurt Schütte. Die Eliminierbarkeit des bestimmten Artikels in Kodifikaten der Analysis. Mathematische Annalen, vol. 123 (1951), pp. 166–186.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 402
- Print publication:
- December 1956
-
- Article
- Export citation
I. D. Zaspavskij. Oprovèržénié nékotoryh téorém klassičéskogo analiza v konstruktivnom analizé (Disproof of some theorems of classical analysis in constructive analysis), Ibid., pp. 209–210.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 409
- Print publication:
- December 1956
-
- Article
- Export citation
V. K. Détlovs. Normal'nyé algorifmy i rékursivnyé funkcii (Normal algorithms and recursive functions). Doklady Akadémii Nauk SSSR, vol. 90 (1953), pp. 723–725.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
- Print publication:
- December 1956
-
- Article
- Export citation
Th. Skolem. Sobre la naturaleza del razonamiento matemático. Gaceta matemática (Madrid), no. 4 (1952). Reprinted in Conferencias de matemática IV, Publicaciones del Instituto de Matemáticas “Jorge Juan,” Madrid 1952, pp. 3–14. - Th. Skolem. Consideraciones sobre los fundamentos de la matemática. Revista matemática hispano-americana, ser. 4 vol. 12 no. 3 (1952), pp. 169–200, and ser. 4 vol. 13 no. 3 (1953), pp. 149–174. Reprinted in Conferencias de matemática IV, Publicaciones del Instituto de Matemáticas “Jorge Juan,” Madrid 1952, pp. 15–72.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 373-374
- Print publication:
- December 1956
-
- Article
- Export citation
Arthur Pap. Propositions, sentences, and the semantic definition of truth. Theoria (Lund), vol. 20 (1954), pp. 23–35.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 381-382
- Print publication:
- December 1956
-
- Article
- Export citation
Recursive functions in basic logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 337-346
- Print publication:
- December 1956
-
- Article
- Export citation
Y. Bar-Hillel. Bolzano's propositional logic. Archiv für Philosophie, t. 4 n° 3 (1952), p. 305–338; aussi Archiv für mathematische Logik und Grundlagenforschung, t. 1 n° 3 (1952), p. 65–98.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 386-387
- Print publication:
- December 1956
-
- Article
- Export citation