13629 results in The Journal of Symbolic Logic
David Slepian. On the number of symmetry types of Boolean functions of n variables. Canadian journal of mathematics, vol 5 (1953), pp. 135–193. Reprinted in the Bell Telephone System technical publications, monograph 2154.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 70
- Print publication:
- March 1955
-
- Article
- Export citation
John Myhill. Criteria of construclibility for real numbers. The journal of symbolic logic, vol. 18 (1953), pp. 7–10.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 178
- Print publication:
- June 1955
-
- Article
- Export citation
The Amsterdam meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 1 / March 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 90-94
- Print publication:
- March 1955
-
- Article
- Export citation
Recursive well-orderings
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, pp. 151-163
- Print publication:
- June 1955
-
- Article
- Export citation
Distributivity and an axiom of choice
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 275-277
- Print publication:
- December 1954
-
- Article
- Export citation
Karl Egil Aubert. Relations généralisées et indépendance logique des notions de réflexivité, symétrie et transitivité. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 229 (1949), pp. 538–540. - J. Richard Büchi. Investigation of the equivalence of the axiom of choice and Zorn's lemma from the viewpoint of the hierarchy of types. The journal of symbolic logic, vol. 18 (1953), pp. 125–135.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 285-286
- Print publication:
- December 1954
-
- Article
- Export citation
Ladislav Rieger. On free ℵξ-complete Boolean algebras (with an application to logic). Fundamenta mathematicae, vol. 38 (1951), pp. 35–52.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 286-287
- Print publication:
- December 1954
-
- Article
- Export citation
Leon Henkin. Some notes on nominalism. The journal of symbolic logic, vol. 18 (1953), pp. 19–29.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 289-290
- Print publication:
- December 1954
-
- Article
- Export citation
JSL volume 19 issue 4 Cover and Front matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. f1-f2
- Print publication:
- December 1954
-
- Article
-
- You have access
- Export citation
The formalization of mathematics1
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 241-266
- Print publication:
- December 1954
-
- Article
- Export citation
N. A. Šanin. O nékotoryh opéraciáh nad logiko-arifmétičéskimi formulami (Some operations on logico-arithmetical formulas). Doklady Akadémii Nauk SSSR, vol.93 (1953), pp. 779–782. - N. A. Šanin. O pogružéniáh klassičéskogo logiko-arifmétičéskogo isčisléniá v konstruktivnoé logiko-arifmétičéskoé isčislénié (On imbeddings of the classical logico-arithmetical calculus into the constructive logico-arithmetical calculus). Doklady Akadémii Nauk SSSR, vol. 94 (1954), pp. 193–196.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 297-298
- Print publication:
- December 1954
-
- Article
- Export citation
Alejandro Diez Blanco. Nuevas logicas. Revista de filosofia (Madrid), vol. 10 (1951), pp. 43–83.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 302
- Print publication:
- December 1954
-
- Article
- Export citation
Roman Sikorski. A note to Rieger's paper “On free ℵξ-complete Boolean algebras.” Fundamenta mathematicae, vol. 38 (1951), pp. 53–54.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 287
- Print publication:
- December 1954
-
- Article
- Export citation
Yehoshua Bar-Hillel. On recursive definitions in empirical sciences. Actes du XIème Congrès International de Philosophie, Volume V, Logique, analyse philosophique, philosophie des mathématiques, North-Holland Publishing Company, Amsterdam1953, and Éditions E. Nauwelaerts, Louvain, 1953, pp. 160–165.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 300
- Print publication:
- December 1954
-
- Article
- Export citation
K. R. Popper, William Kneale, and A. J. Ayer. Symposium: What can logic do for philosophy?Aristotelian Society, supplementary volume XXII, London1948, pp. 141–178.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 290
- Print publication:
- December 1954
-
- Article
- Export citation
Yehoshua Bar-Hillel. A note on comparative inductive logic. The British journal for the philosophy of science, vol. 3 (1952–1953), pp. 308–310.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 300-301
- Print publication:
- December 1954
-
- Article
- Export citation
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 305-314
- Print publication:
- December 1954
-
- Article
- Export citation
oΘΩn ΠϒΛΑΡΙΝΟΣ. Ἡ ἀξιωματιϰὴ μέθοδος (The axiomatic method). Ἐϰδοτιϰὸς Οἴϰος I. ϰαὶ Π. Ζαχαροπύλου, Athens1948, 32 pp. - S. Jaśkowski. Une modification des définitions fondamentales de la géométrie des corps de M.A. Tarski. Annates de la Société Polonaise de Mathématique, vol. 21 (1948), pp. 298–301.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, p. 298
- Print publication:
- December 1954
-
- Article
- Export citation
A. Mostowski. A lemma concerning recursive functions and its applications. Bulletin de l'Académie Polonaise des Sciences, Classe III, Bd. 1 (1953), S. 277–280.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 299-300
- Print publication:
- December 1954
-
- Article
- Export citation
Alan Rose. Some self-dual primitive functions for propositional calculi. Mathematische Annalen, vol. 126 (1953), pp. 144–148.
-
- Journal:
- The Journal of Symbolic Logic / Volume 19 / Issue 4 / December 1954
- Published online by Cambridge University Press:
- 12 March 2014, pp. 294-295
- Print publication:
- December 1954
-
- Article
- Export citation