13629 results in The Journal of Symbolic Logic
List of officers and members of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 229-252
- Print publication:
- December 1964
-
- Article
- Export citation
A. W. Burks and J. B. Wright. Sequence generators and digital computers. Recursive function theory, Proceedings of symposia in pure mathematics, vol. 5, American Mathematical Society, Providence 1962, pp. 139–199. - Arthur W. Burks and Jesse B. Wright. Sequence generators, graphs, and formal languages. Information and control, vol. 5 (1962), pp. 204–212.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 210-212
- Print publication:
- December 1964
-
- Article
- Export citation
Heinrich Scholz. Die mathematische Logik und die Geisteswissenschaften. Studium generale, Bd. 11 (1958), S. 180–187.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- December 1964
-
- Article
- Export citation
Hao Wang. Different axiom systems. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 383–431.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
- Print publication:
- December 1964
-
- Article
- Export citation
Léon Le Blanc. Dualité pour les égalités booléennes. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3552–3553. - Léon Le Blanc. Les algèbres de transformation. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 250 (1960), pp. 3928–3930. - See XXIX 53(2) and the review above.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 207
- Print publication:
- December 1964
-
- Article
- Export citation
A note on Quine's treatment of transfinite recursion
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 179-182
- Print publication:
- December 1964
-
- Article
- Export citation
A. J. Ayer. Names and descriptions. Logique et analyse, n.s. vol. 5 no. 20 (for 1962, pub. 1963), pp. 199–202. - L. J. Russell, J. Dopp, Findlay, A. J. Ayer. Discussion. Logique et analyse, n.s. vol. 5 no. 20 (for 1962, pub. 1963), pp. 202–211.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 197
- Print publication:
- December 1964
-
- Article
- Export citation
B. van Rootselaar. Die Struktur der rekursiven Wortarithmetik des Herrn V. Vučković. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, Bd. 65 (1962), S, 192–200; auch Indagationes mathematicae, Bd. 24 (1962), S. 192–200.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 201
- Print publication:
- December 1964
-
- Article
- Export citation
Hao Wang. Relative strength and reducibility. A survey of mathematical logic, Studies in logic and the foundations of mathematics, Science Press, Peking, and North-Holland Publishing Company, Amsterdam, 1963, pp. 432–442.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 208
- Print publication:
- December 1964
-
- Article
- Export citation
JSL volume 29 issue 4 Cover and Back matter
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. b1-b3
- Print publication:
- December 1964
-
- Article
-
- You have access
- Export citation
Storrs McCall. A simple decision procedure for one-variable implication/negation formulae in intuitionist logic. Notre Dame journal of formal logic, vol. 3 (1962), pp. 120–122.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 212-213
- Print publication:
- December 1964
-
- Article
- Export citation
G. Higman. Subgroups of finitely presented groups. Proceedings of the Royal Society of London, series A, mathematical and physical sciences, vol. 262 (1961), pp. 455–475.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 204-205
- Print publication:
- December 1964
-
- Article
- Export citation
Vladeta Vučković. Rekursive Wortarithmetik. Académie Serbe des Sciences et des Arts, Publications de l'Institut Mathématique (Belgrad), Bd. 14 (1960), S. 9–60.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 200-201
- Print publication:
- December 1964
-
- Article
- Export citation
Günter Asser. Rekursive Wortfunktionen. Ebd., Bd. 6 (1960), S. 258–278.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 4 / December 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 199-200
- Print publication:
- December 1964
-
- Article
- Export citation
George Boole. Of syllogisms. Reprinted from 191. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 177–191. - Rudolf Carnap. Elementary and abstract terms. Reprinted from IV 117. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 221–229. - Lewis Carroll (Charles Lutwidge Dodgson). The bilateral diagram. Reprinted from 674. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 230–233. - Gottlob Frege. Definitions. Reprinted from XVIII 92(12). Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 329–342. - John Neville Keynes. Propositions. Reprinted from 631. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 453–470. - Augustus De Morgan. On the syllogism. Reprinted from 201. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 556–578. - Josiah Royce. The principles of logic. Reprinted from 1403. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 654–683. - Bertrand Russell. Definition of pure mathematics. Reprinted from 1116. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 684–692. - Ludwig Wittgenstein. Facts. Reprinted from 2812. Classics in logic, Readings in epistemology, theory of knowledge and dialectics, edited by Dagobert D. Runes, Philosophical Library, New York1962, pp. 791–793.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 135
- Print publication:
- September 1964
-
- Article
- Export citation
Jaakko Hintikka. Knowledge and belief. An introduction to the logic of the two notions. Cornell University Press, Ithaca, N.Y., 1962, x + 179 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 132-134
- Print publication:
- September 1964
-
- Article
- Export citation
Alan Rose. Self-dual binary and ternary connectives for m-valued propositional calculi. Mathematische Annalen, vol. 143 (1961), pp. 448–462. - Alan Rose. Sur certains calculs propositionnels à m valeurs ayant un seul foncteur primitif lequel constitue son propre dual. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 252 (1961), pp. 3176–3178. - Alan Rose. Sur certains calculs propositionnels à m valeurs ayant deux fondeurs primitifs dont chacun est le dual de l'autre. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 252 (1961), pp. 3375–3376. - Alan Rose. Sur un ensemble de foncteurs primitifs pour le calcul propositionnel à m valeurs lequel constitue son propre m-al. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), pp. 1897–1899. - Alan Rose. Sur un ensemble complet de foncteurs primitifs indépendants pour le calcul propositionnel trivalent lequel constitue son propre trial. Comptes rendus hebdomadaires des séances de l'Académie des Sciences (Paris), vol. 254 (1962), p. 2111. - Alan Rose. A simplified self m-al set of primitive functors for the m-valued prop-ositional calculus. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 8 (1962), pp. 257–266.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, pp. 144-145
- Print publication:
- September 1964
-
- Article
- Export citation
Gaisi Takeuti. On the inductive definition with quantifiers of second order. Journal of the Mathematical Society of Japan, vol. 13 (1961), pp. 333–341.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 147
- Print publication:
- September 1964
-
- Article
- Export citation
Notice of a meeting of the Association for Symbolic Logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 149
- Print publication:
- September 1964
-
- Article
- Export citation
A. Daigneault and D. Monk. Representation theory for polyadic algebras. Fundamenta mathematicae, vol. 52 (1963), pp. 151–176.
-
- Journal:
- The Journal of Symbolic Logic / Volume 29 / Issue 3 / September 1964
- Published online by Cambridge University Press:
- 12 March 2014, p. 148
- Print publication:
- September 1964
-
- Article
- Export citation